Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1292)
Conference series link(s): PLILP: International Symposium on Programming Language Implementation and Logic Programming
Conference proceedings info: PLILP 1997.
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 (29 papers)
-
Front Matter
Other Volumes
-
Programming Languages: Implementations, Logics, and Programs
About this book
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
Bibliographic Information
Book Title: Programming Languages: Implementations, Logics, and Programs
Book Subtitle: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
Editors: Hugh Glaser, Pieter Hartel, Herbert Kuchen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0033832
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-63398-3Published: 13 August 1997
eBook ISBN: 978-3-540-69537-0Published: 11 December 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 428
Topics: Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence