Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1058)
Conference series link(s): ESOP: European Symposium on Programming
Conference proceedings info: ESOP 1996.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (25 papers)
-
Front Matter
About this book
The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.
Bibliographic Information
Book Title: Programming Languages and Systems - ESOP '96
Book Subtitle: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings
Editors: Hanne Riis Nielson
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-61055-3
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61055-7Published: 03 April 1996
eBook ISBN: 978-3-540-49942-8Published: 07 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 410
Topics: Programming Languages, Compilers, Interpreters, Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques, Software Engineering