Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Heftet /
2002
/ Engelsk
Produktdetaljer
ISBN
9783540440444
Publisert
2002-08-21
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
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.
Les mer
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.
Les mer
Springer Book Archives
Springer Book Archives
Includes supplementary material: sn.pub/extras
Produktdetaljer
ISBN
9783540440444
Publisert
2002-08-21
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
8