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

Saved in:

Bibliographic Details
Meeting name:	European Symposium on Programming (5th : 1994 : Edinburgh, Scotland)
Imprint:	Berlin : Springer-Verlag, 1994.
Description:	1 online resource : v.: digital.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 788 Lecture notes in computer science ; 788.
Subject:	Computer science. Software engineering. Logic design. Computer science. Logic design. Software engineering.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11078083

Hidden Bibliographic Details
Other authors / contributors:	Sannella, D. (Donald), 1956-
ISBN:	9783540483762 3540483764 9783540578802 3540483764
Summary:	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.

Similar Items