Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Heftet /
2002
/ Engelsk
Product details
ISBN
9783540440444
Published
2002-08-21
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Height
235 mm
Width
155 mm
Age
Research, UP, P, 05, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
8
This book presents revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal in September. The nine lectures included present recent developments in programming language research in a coherent and systematic way. Among the topics addressed are - description of existing programming languages features - design of new programming languages features - implementation and analysis of programming languages - transformation and generation of programs - verification of programs.
Read more
These are revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal. The nine lectures included present developments in programming language research.
Read more
Springer Book Archives
Springer Book Archives
Includes supplementary material: sn.pub/extras
Product details
ISBN
9783540440444
Published
2002-08-21
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Height
235 mm
Width
155 mm
Age
Research, UP, P, 05, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
8