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 pr… Mehr…
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. Buch (fremdspr.) Harald Ganzinger Taschenbuch, Springer Berlin, 09.03.1988, Springer Berlin, 1988<
Orellfuessli.ch
Nr. 1881105. Versandkosten:, Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten, Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage. (EUR 16.33) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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 pr… Mehr…
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. Books > Computer Science Soft cover, Springer Shop<
Springer.com
new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Paperback, New., 383 p. Lecture Notes in Computer Science , 300. VI, 383 p. Intended for college/higher education audience. Intended for professional and scholarly audience., Berlin, [PU:… Mehr…
Paperback, New., 383 p. Lecture Notes in Computer Science , 300. VI, 383 p. Intended for college/higher education audience. Intended for professional and scholarly audience., Berlin, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. K]<
ESOP '88 ab 85.49 € als Taschenbuch: 2nd European Symposium on Programming. Nancy France March 21-24 1988. Proceedings. Auflage 1988. Aus dem Bereich: Bücher, English, International, Gebu… Mehr…
ESOP '88 ab 85.49 € als Taschenbuch: 2nd European Symposium on Programming. Nancy France March 21-24 1988. Proceedings. Auflage 1988. Aus dem Bereich: Bücher, English, International, Gebundene Ausgaben, Medien > Bücher nein Buch (kartoniert) Hardcover;Naturwissenschaften, Medizin, Informatik, Technik;Programmiersprachen, Springer Berlin Heidelberg<
Hugendubel.de
Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Ganzinger, Harald: Esop '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
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 pr… Mehr…
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. Buch (fremdspr.) Harald Ganzinger Taschenbuch, Springer Berlin, 09.03.1988, Springer Berlin, 1988<
Nr. 1881105. Versandkosten:, Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten, Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage. (EUR 16.33)
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 pr… Mehr…
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. Books > Computer Science Soft cover, Springer Shop<
new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
Paperback, New., 383 p. Lecture Notes in Computer Science , 300. VI, 383 p. Intended for college/higher education audience. Intended for professional and scholarly audience., Berlin, [PU:… Mehr…
Paperback, New., 383 p. Lecture Notes in Computer Science , 300. VI, 383 p. Intended for college/higher education audience. Intended for professional and scholarly audience., Berlin, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. K]<
ESOP '88 ab 85.49 € als Taschenbuch: 2nd European Symposium on Programming. Nancy France March 21-24 1988. Proceedings. Auflage 1988. Aus dem Bereich: Bücher, English, International, Gebu… Mehr…
ESOP '88 ab 85.49 € als Taschenbuch: 2nd European Symposium on Programming. Nancy France March 21-24 1988. Proceedings. Auflage 1988. Aus dem Bereich: Bücher, English, International, Gebundene Ausgaben, Medien > Bücher nein Buch (kartoniert) Hardcover;Naturwissenschaften, Medizin, Informatik, Technik;Programmiersprachen, Springer Berlin Heidelberg<
Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Ganzinger, Harald: Esop '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
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.
Detailangaben zum Buch - ESOP '88
EAN (ISBN-13): 9783540190271 ISBN (ISBN-10): 3540190279 Taschenbuch Erscheinungsjahr: 1988 Herausgeber: Springer Berlin Heidelberg 381 Seiten Gewicht: 0,591 kg
Buch in der Datenbank seit 2007-03-30T01:29:22+02:00 (Zurich) Detailseite zuletzt geändert am 2023-02-08T14:41:22+01:00 (Zurich) ISBN/EAN: 3540190279
ISBN - alternative Schreibweisen: 3-540-19027-9, 978-3-540-19027-1 Alternative Schreibweisen und verwandte Suchbegriffe: Titel des Buches: esop, 1988, lecture notes computer science, aspects the novel, european symposium
Daten vom Verlag:
Autor/in: Harald Ganzinger Titel: Lecture Notes in Computer Science; ESOP '88 - 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings Verlag: Springer; Springer Berlin 383 Seiten Erscheinungsjahr: 1988-03-09 Berlin; Heidelberg; DE Sprache: Englisch 53,49 € (DE) 54,99 € (AT) 59,00 CHF (CH) Available VI, 383 p.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Action; Algorithms; C programming language; Exception; Pattern Matching; Prolog; formal language; functional programming; logic; optimization; programming; programming language; selection; semantics; verification; Compilers and Interpreters; Artificial Intelligence; Programming Techniques; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; EA
Semantics-based program integration.- A semantics driven temporal verification system.- Algebraic formalisation of program development by transformation.- QPC: QJ-based proof compiler -simple examples and analysis-.- Implementation of modular algebraic specifications.- A polymorphic type system with subtypes for Prolog.- Type inference with subtypes.- A theory of software reusability.- Parametric overloading in polymorphic programming languages.- Programming with proofs: A second order type theory.- An exception handling construct for functional languages.- A functional language for the specification of complex tree transformations.- Garp: Graph abstractions for concurrent programming.- Extending functional programming towards relations.- Perfect pipelining: A new loop parallelization technique.- New insights into partial evaluation: the SCHISM experiment.- Code selection techniques: Pattern matching, tree parsing, and inversion of derivors.- Adding relational query facilities to software development environments.- Compilation of logic programs for restricted and-parallelism.- Implementation of lazy pattern matching algorithms.- Enhancing Prolog to support Prolog programming environments.- 2-Level ?-lifting.- Deforestation: Transforming programs to eliminate trees.- On implementing logic programming languages on a dataflow architecture.- The PSG system: From formal language definitions to interactive programming environments.- LPG: A generic, logic and functional programming language.- CEC: A system for the completion of conditional equational specifications.- A functional language for the specification of complex tree transformations.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten: