Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Essentials_of_Programming_Languages> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- Essentials_of_Programming_Languages 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.".
- Essentials_of_Programming_Languages author Christopher_T._Haynes.
- Essentials_of_Programming_Languages author Daniel_P._Friedman.
- Essentials_of_Programming_Languages author Mitchell_Wand.
- Essentials_of_Programming_Languages isbn "ISBN 0-262-06279-8 (3rd ed.)".
- Essentials_of_Programming_Languages lcc "QA76.7 .F73 2008".
- Essentials_of_Programming_Languages literaryGenre Textbook.
- Essentials_of_Programming_Languages nonFictionSubject Programming_language.
- Essentials_of_Programming_Languages numberOfPages "416".
- Essentials_of_Programming_Languages publisher MIT_Press.
- Essentials_of_Programming_Languages wikiPageExternalLink ?eopl.
- Essentials_of_Programming_Languages wikiPageExternalLink ProgLangs.
- Essentials_of_Programming_Languages wikiPageExternalLink eopl.
- Essentials_of_Programming_Languages wikiPageExternalLink www.eopl3.com.
- Essentials_of_Programming_Languages wikiPageID "11071609".
- Essentials_of_Programming_Languages wikiPageLength "4670".
- Essentials_of_Programming_Languages wikiPageOutDegree "30".
- Essentials_of_Programming_Languages wikiPageRevisionID "613899082".
- Essentials_of_Programming_Languages wikiPageWikiLink ALGOL_60.
- Essentials_of_Programming_Languages wikiPageWikiLink Category:Computer_science_books.
- Essentials_of_Programming_Languages wikiPageWikiLink Category:Programming_language_topics.
- Essentials_of_Programming_Languages wikiPageWikiLink Christopher_T._Haynes.
- Essentials_of_Programming_Languages wikiPageWikiLink Continuation-passing_style.
- Essentials_of_Programming_Languages wikiPageWikiLink Daniel_P._Friedman.
- Essentials_of_Programming_Languages wikiPageWikiLink DrRacket.
- Essentials_of_Programming_Languages wikiPageWikiLink How_to_Design_Programs.
- Essentials_of_Programming_Languages wikiPageWikiLink Interpreter.
- Essentials_of_Programming_Languages wikiPageWikiLink Lambda_calculus.
- Essentials_of_Programming_Languages wikiPageWikiLink Language_interpretation.
- Essentials_of_Programming_Languages wikiPageWikiLink Lisp_(programming_language).
- Essentials_of_Programming_Languages wikiPageWikiLink Lisp_in_Small_Pieces.
- Essentials_of_Programming_Languages wikiPageWikiLink MIT_Press.
- Essentials_of_Programming_Languages wikiPageWikiLink Matthew_Flatt.
- Essentials_of_Programming_Languages wikiPageWikiLink Mitchell_Wand.
- Essentials_of_Programming_Languages wikiPageWikiLink Modular_programming.
- Essentials_of_Programming_Languages wikiPageWikiLink Programming_language.
- Essentials_of_Programming_Languages wikiPageWikiLink Prolog.
- Essentials_of_Programming_Languages wikiPageWikiLink Racket_(programming_language).
- Essentials_of_Programming_Languages wikiPageWikiLink Register_machine.
- Essentials_of_Programming_Languages wikiPageWikiLink SNOBOL.
- Essentials_of_Programming_Languages wikiPageWikiLink Scheme_(programming_language).
- Essentials_of_Programming_Languages wikiPageWikiLink Structure_and_Interpretation_of_Computer_Programs.
- Essentials_of_Programming_Languages wikiPageWikiLink Textbook.
- Essentials_of_Programming_Languages wikiPageWikiLink Type_system.
- Essentials_of_Programming_Languages wikiPageWikiLink Type_systems.
- Essentials_of_Programming_Languages wikiPageWikiLinkText "Essentials of Programming Languages".
- Essentials_of_Programming_Languages author Christopher_T._Haynes.
- Essentials_of_Programming_Languages author Daniel_P._Friedman.
- Essentials_of_Programming_Languages author Mitchell_Wand.
- Essentials_of_Programming_Languages congress "QA76.7 .F73 2008".
- Essentials_of_Programming_Languages genre Textbook.
- Essentials_of_Programming_Languages hasPhotoCollection Essentials_of_Programming_Languages.
- Essentials_of_Programming_Languages isbn "ISBN 0-262-06279-8".
- Essentials_of_Programming_Languages italicTitle "force".
- Essentials_of_Programming_Languages name "Essentials of Programming Languages".
- Essentials_of_Programming_Languages pages "416".
- Essentials_of_Programming_Languages pubDate "April 2008".
- Essentials_of_Programming_Languages publisher MIT_Press.
- Essentials_of_Programming_Languages subject "Programming languages".
- Essentials_of_Programming_Languages wikiPageUsesTemplate Template:Infobox_book.
- Essentials_of_Programming_Languages subject Category:Computer_science_books.
- Essentials_of_Programming_Languages subject Category:Programming_language_topics.
- Essentials_of_Programming_Languages hypernym Textbook.
- Essentials_of_Programming_Languages type Book.
- Essentials_of_Programming_Languages type Work.
- Essentials_of_Programming_Languages type WrittenWork.
- Essentials_of_Programming_Languages type Book.
- Essentials_of_Programming_Languages type Book.
- Essentials_of_Programming_Languages type Book.
- Essentials_of_Programming_Languages type CreativeWork.
- Essentials_of_Programming_Languages type Thing.
- Essentials_of_Programming_Languages type Q386724.
- Essentials_of_Programming_Languages type Q571.
- Essentials_of_Programming_Languages 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.".
- Essentials_of_Programming_Languages label "Essentials of Programming Languages".
- Essentials_of_Programming_Languages sameAs Essentials_of_Programming_Languages.
- Essentials_of_Programming_Languages sameAs m.02q_228.
- Essentials_of_Programming_Languages sameAs Q5399600.
- Essentials_of_Programming_Languages sameAs Q5399600.
- Essentials_of_Programming_Languages wasDerivedFrom Essentials_of_Programming_Languages?oldid=613899082.
- Essentials_of_Programming_Languages isPrimaryTopicOf Essentials_of_Programming_Languages.
- Essentials_of_Programming_Languages name "Essentials of Programming Languages".