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 (Paperback, 1997 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1292
Release date:	August 1997
First published:	1997
Editors:	Hugh Glaser • Peter Hartel • Herbert R. Kuchen
Dimensions:	235 x 155 x 22mm (L x W x T)
Format:	Paperback
Pages:	428
Edition:	1997 ed.
ISBN-13:	978-3-540-63398-3
Categories:	Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-540-63398-7
Barcode:	9783540633983

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!