Erschienen: 13.08.1997 Abbildung von Glaser / Hartel / Kuchen | Programming Languages: Implementations, Logics, and Programs | 1997 | 9th International Symposium, P... | 1292

Glaser / Hartel / Kuchen

Programming Languages: Implementations, Logics, and Programs

9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1997. Buch. xi, 428 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-63398-3

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1370 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 1292

Produktbeschreibung

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...