Programming Languages and Systems - ESOP '94 | 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Donald Sannella

ISBN 10: 3540578803 / ISBN 13: 9783540578802

Published by Springer, 1994

About this Item

Programming Languages and Systems - ESOP '94 | 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings | Donald Sannella | Taschenbuch | ix | Englisch | 1994 | Springer | EAN 9783540578802 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 102057628

Bibliographic Details

• Title: Programming Languages and Systems - ESOP '94 | 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
• Publisher: Springer
• Publication Date: 1994
• Language: English
• ISBN 10: 3540578803
• ISBN 13: 9783540578802
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 29D millimeters 235 millimeters width by 155 millimeters height by 29 millimeters depth
• Weight: 797 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.