Programming Languages and Systems - ESOP '94

Programming Languages and Systems - ESOP '94 von Sannella Donald (Herausgeber)

Herausgeber: Sannella, Donald

Verleger: Springer-Verlag GmbH

Genre: Hardcover/Programmiersprachen

ISBN: 3540578803

EAN/ISBN-13: 9783540578802

Sprache: eng

Veröffentlichung: September 2007


 
 
Klappentext zu Programming Languages and Systems - ESOP '94
This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.

weitere passende Bücher

Recent Trends in Data Type Specification

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The …


geschrieben von Donald Sannella (Herausgeber) und Andrzej Tarlecki (Herausgeber)

Algebraic System Specification and Development

Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the …


geschrieben von Michel Bidoit (Herausgeber) und Hans-Jörg Kreowski (Herausgeber) und Pierre Lescanne (Herausgeber) und Fernando Orejas (Herausgeber) und Donald Sannella (Herausgeber)

Compiling ESTEREL

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a …


geschrieben von Dumitru Potop-Butucaru (Autor) und Stephen A. Edwards (Autor) und Gerard Berry (Autor)

Pro Oracle Spatial for Oracle Database 11g

Authors Kothuri and Godfrind address the special nature of spatial data and its role in professional and consumer applications, including such issues as modeling, storing, accessing, and analyzing …

1. Overview 2. Basic Spatial 3. Spatial and Network Analysis 4. …


geschrieben von Ravi Kothuri (Autor) und Albert Godfrind (Autor) und Euro Beinat (Autor)

Die Blumen des Bösen / Les Fleurs du Mal


Charles Baudelaire wurde am 9. April 1821 in Paris geboren und starb ebenda am 31. August 1867. Seine Kindheit war durch den frühen Tod des Vaters und die neue Heirat der Mutter sehr …


geschrieben von Friedhelm Kemp (Übersetzung) und Friedhelm Kemp (Herausgeber) und Charles Baudelaire (Autor)

Der Sylter Hahn

Lorens Jens Grethen (1668-1747), genannt "der Hahn", ist eine historische Persönlichkeit. Er ist bei den Syltern in lebhafter Erinnerung geblieben. Vom einfachen Junggast stieg er zu einem der …


geschrieben von Margarete Boie (Autor)

Heretic's Apprentice

Ellis Peters is one of the pseudonyms of Edith Pargeter who wrote several books under her own name and also Peter Benedict, Jolyon Carr and John Redfern. She was the recipient of the Crime Writers …


geschrieben von Ellis Peters (Autor)

Frederic Chopin

Frédéric Chopin, ein Salonkomponist, der seinen Nocturnes melancholisch nachträumt und Regentropfen musikalisch perlen läßt? Mit solchen Klischees wurde lange Zeit die Oberfläche …


geschrieben von Jürgen Lotz (Autor)

Sämtliche Werke 04

Die neue Ausgabe der Werke Platons basiert im wesentlichen auf der von W.F. Otto, E. Grassi und G. Plamböck besorgten sechsbändigen Rowohlt-Ausgabe von 1957 bis 1959. Ihr liegt nach wie vor …


geschrieben von Platon (Autor)

Charity

Bernard Samson travels to Russia to investigate the death of his sister-in-law, but in his attempts to uncover the truth he must also confront problems in his own life. This is the final part of the …


geschrieben von Len Deighton (Autor)


durchsuche buecher-lounge.de

  • Loading