Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1058)
Included in the following conference series:
Conference proceedings info: ESOP 1996.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (25 papers)
Other volumes
-
Programming Languages and Systems — ESOP '96
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