Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001494909/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract "The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.".
- catalog contributor b2125502.
- catalog contributor b2125503.
- catalog contributor b2125504.
- catalog created "c1988.".
- catalog date "1988".
- catalog date "c1988.".
- catalog dateCopyrighted "c1988.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Invited Speakers -- Program Development and Verification -- Algebraic Specification and Type Concepts -- Language Concepts -- Implementation of Programming Languages -- Systems Exhibition -- Author Index.".
- catalog description "The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.".
- catalog extent "vi, 379 p. :".
- catalog hasFormat "ESOP '88.".
- catalog identifier "0387190279 (U.S.)".
- catalog isFormatOf "ESOP '88.".
- catalog isPartOf "Lecture notes in computer science ; 300".
- catalog issued "1988".
- catalog issued "c1988.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "ESOP '88.".
- catalog subject "005 19".
- catalog subject "Computer programming Congresses.".
- catalog subject "Electronic books.".
- catalog subject "Programming languages (Electronic computers) Congresses.".
- catalog subject "QA76.6 .E976 1988".
- catalog tableOfContents "Invited Speakers -- Program Development and Verification -- Algebraic Specification and Type Concepts -- Language Concepts -- Implementation of Programming Languages -- Systems Exhibition -- Author Index.".
- catalog title "ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed.".
- catalog type "Conference proceedings. fast".
- catalog type "Congressen (vorm) gtt".
- catalog type "text".