ENGLISH

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

By Manuel Hermenegildo , S. Doaitse Swierstra (eds.) , Oege de Moor (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1995
ISBN
354060359X, 9783540603597
DOI
10.1007/BFb0026808
LCC
QA76.7 .P56 1995
Open Library ID
OL932097M
Language
english
Format
DJVU
Filesize
4 MB (4335400 bytes)
Series
Lecture Notes in Computer Science 982
Edition
1
Pages
476\476
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
CompilersInterpreters; Logics and Meanings of Programs; MatProgramming Techniques; Programming Languages

Description

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.

Similar books