DBpedia 2016-04

Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5399600> ?p ?o }

Showing triples 1 to 59 of 59 with 100 triples per page.

Q5399600 subject Q7195626.
Q5399600 subject Q7313395.
Q5399600 abstract "Essentials of Programming Languages (EOPL) is a textbook on programming languages by Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes.EOPL surveys the principles of programming languages from an operational perspective. It starts with an interpreter in Scheme for a simple functional core language similar to the lambda calculus and then systematically adds constructs. For each addition, for example, variable assignment or thread-like control, the book illustrates an increase in expressive power of the programming language and a demand for new constructs for the formulation of a direct interpreter. The book also demonstrates that systematic transformations, say, store-passing style or continuation-passing style, can eliminate certain constructs from the language in which the interpreter is formulated.The second part of the book is dedicated to a systematic translation of the interpreter(s) into register machines. The transformations show how to eliminate higher-order closures; continuation objects; recursive function calls; and more. At the end, the reader is left with an "interpreter" that uses nothing but tail-recursive function calls and assignment statements plus conditionals. It becomes trivial to translate this code into a C program or even an assembly program. As a bonus, the book shows how to pre-compute certain pieces of "meaning" and how to generate a representation of these pre-computations. Since this is the essence of compilation, the book also prepares the reader for a course on the principles of compilation and language translation, a related but distinct topic.Like SICP, EOPL represents a significant departure from the prevailing textbook approach in the 1980s. At the time, a book on the principles of programming languages presented four to six (or even more) programming languages and discussed their programming idioms and their implementation at a high level. The most successful books typically covered ALGOL 60 (and the so-called Algol family of programming languages), SNOBOL, Lisp, and Prolog. Even today a fair number of textbooks on programming languages are just such surveys, though their scope has narrowed.EOPL was started in 1983 when Indiana was one of the leading departments in programming languages research. Eugene Kohlbecker, one of Friedman's PhD students, transcribed and collected his "311 lectures". Other faculty members, including Mitch Wand and Christopher Haynes, started contributing and turned "The Hitchhiker's Guide to the Meta-Universe"—as Kohlbecker had called it—into the systematic, interpreter and transformation-based survey that it is now. Over the 25 years of its existence, the book has become a near-classic; it is now in its third edition, including additional topics such as types and modules. Its first part now incorporates ideas on programming from HtDP, another unconventional text book, which uses Scheme to teach the principles of program design. The authors as well as Matthew Flatt have recently provided DrRacket plug-ins and language levels for teaching with EOPL.EOPL has spawned at least two other, related texts: Queinnec's Lisp in Small Pieces and Krishnamurthi's Programming Languages: Application and Interpretation.".
Q5399600 author Q5218364.
Q5399600 author Q6881440.
Q5399600 isbn "0-262-06279-8".
Q5399600 lcc "QA76.7 .F73 2008".
Q5399600 literaryGenre Q83790.
Q5399600 nonFictionSubject Q9143.
Q5399600 numberOfPages "416".
Q5399600 publisher Q73820.
Q5399600 wikiPageExternalLink ?eopl.
Q5399600 wikiPageExternalLink eopl.
Q5399600 wikiPageExternalLink www.eopl3.com.
Q5399600 wikiPageWikiLink Q1209759.
Q5399600 wikiPageWikiLink Q1249747.
Q5399600 wikiPageWikiLink Q1254148.
Q5399600 wikiPageWikiLink Q132874.
Q5399600 wikiPageWikiLink Q163468.
Q5399600 wikiPageWikiLink Q187560.
Q5399600 wikiPageWikiLink Q1930388.
Q5399600 wikiPageWikiLink Q210439.
Q5399600 wikiPageWikiLink Q242028.
Q5399600 wikiPageWikiLink Q5218364.
Q5399600 wikiPageWikiLink Q522041.
Q5399600 wikiPageWikiLink Q5918555.
Q5399600 wikiPageWikiLink Q6453666.
Q5399600 wikiPageWikiLink Q6559092.
Q5399600 wikiPageWikiLink Q6790500.
Q5399600 wikiPageWikiLink Q6881440.
Q5399600 wikiPageWikiLink Q7195626.
Q5399600 wikiPageWikiLink Q7248488.
Q5399600 wikiPageWikiLink Q7313395.
Q5399600 wikiPageWikiLink Q73820.
Q5399600 wikiPageWikiLink Q749893.
Q5399600 wikiPageWikiLink Q83790.
Q5399600 wikiPageWikiLink Q865760.
Q5399600 wikiPageWikiLink Q9143.
Q5399600 author Q5218364.
Q5399600 author Q6881440.
Q5399600 congress "QA76.7 .F73 2008".
Q5399600 genre Q83790.
Q5399600 isbn "0".
Q5399600 name "Essentials of Programming Languages".
Q5399600 pages "416".
Q5399600 publisher Q73820.
Q5399600 subject "Programming languages".
Q5399600 type Book.
Q5399600 type Book.
Q5399600 type CreativeWork.
Q5399600 type Book.
Q5399600 type Work.
Q5399600 type WrittenWork.
Q5399600 type Thing.
Q5399600 type Q386724.
Q5399600 type Q571.
Q5399600 comment "Essentials of Programming Languages (EOPL) is a textbook on programming languages by Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes.EOPL surveys the principles of programming languages from an operational perspective. It starts with an interpreter in Scheme for a simple functional core language similar to the lambda calculus and then systematically adds constructs.".
Q5399600 label "Essentials of Programming Languages".
Q5399600 name "Essentials of Programming Languages".