ENGLISH

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings

By Hugh Glaser , Sergio Antoy (auth.) , Pieter Hartel , Herbert Kuchen (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
3540633987, 9783540633983
DOI
10.1007/BFb0033832
ISSN
0302-9743
LCC
QA76.7 .P56 1997
Open Library ID
OL667684M
Language
english
Format
DJVU
Filesize
4 MB (3838404 bytes)
Series
Lecture Notes in Computer Science 1292
Edition
1
Pages
428\419
Library
Kolxo3
DPI
300
Time added
2010-02-05 01:51:52
CompilersInterpreters; Programming Techniques; Logics and MProgramming Languages

Description

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. 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.

Similar books