Applied Semantics

International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Häftad, Engelska, 2002

Av Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2002-08-21
Mått155 x 235 x 30 mm
Vikt826 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor536
Upplaga2002
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540440444

Tillhör följande kategorier

Språkvetenskap och lingvistik inom Sprak och ordbocker
Referensverk och tvärvetenskap inom Samhalle och politik
Programmeringsböcker inom Data och it
Systemvetenskap och AI inom Data och it
Programspråk inom Data och it

An Introduction to Dependent Type Theory.- Monads and Effects.- Abstract Machines, Control, and Sequents.- Normalization and Partial Evaluation.- Computing with Real Numbers.- The Join Calculus: A Language for Distributed Mobile Programming.- An Introduction to Functional Nets.- Operational Semantics and Program Equivalence.- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa.