Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings: 788 (Lecture Notes in Computer Science) - Softcover

Sannella, Donald

 
9783540578802: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings: 788 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540578803 ISBN 13: 9783540578802
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540578803
ISBN 13 
9783540578802
Einband
Tapa blanda
Anzahl der Seiten
532
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387578804: Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994 : Proceedings (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387578803 ISBN 13:  9780387578804
Verlag: Springer Verlag, 1994
Softcover