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

 
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)
Softcover
ISBN 10: 0387578803 ISBN 13: 9780387578804
Verlag: Springer Verlag, 1994

Inhaltsangabe

Dieser Band enthält die Papiere, die für die Präsentation beim fünften Europäischen Symposium on Programming (ESOP '94) ausgewählt wurden, das gemeinsam mit dem 19. Kolloquium über Bäume in Algebra and Programming (CAAP '94) in Edinburgh im April 1994 abgehalten wurde. ESOP widmet sich grundlegenden Fragen in der Spezifikation, Gestaltung und Implementierung von Programmiersprachen und Systemen. Der Umfang des Symposiums umfasst Arbeiten zu: Softwareanalyse, Spezifikation, Transformation, Entwicklung und Verifizierung/Zertifizierung; Programmierparadigmen (funktional, logisch, objektorientiert, gleichzeitig usw.). und deren Kombinationen, Programmiersprachenkonzepte, Implementierungstechniken und Semantik, Software-Design-Methoden, Typisierungsdisziplinen und Typechecking-Algorithmen sowie Programmierunterstützungswerkzeuge.

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

Verlag
Springer Verlag
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0387578803
ISBN 13 
9780387578804
Einband
Taschenbuch
Herausgeber
Sannella Donald
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3540578803 ISBN 13:  9783540578802
Verlag: Springer, 2008
Softcover