Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1381)
Included in the following conference series:
Conference proceedings info: ESOP 1998.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 papers)
Other volumes
-
Programming Languages and Systems
Keywords
About this book
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
Bibliographic Information
Book Title: Programming Languages and Systems
Book Subtitle: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Editors: Chris Hankin
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0053558
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1998
Softcover ISBN: 978-3-540-64302-9Published: 11 March 1998
eBook ISBN: 978-3-540-69722-0Published: 30 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 289
Topics: Programming Languages, Compilers, Interpreters, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques, Software Engineering