Applied semantics
Subtitle: international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures
By: Gilles Barthe ... [et al.] (eds.)
Contributors: Barthe, Gilles, 1967-
Series: Lecture notes in computer science -- 2395; Lecture notes in computer science -- 2395
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 536
Subjects: Programming languages (Electronic computers) -- Semantics
Description: "This book presents nine thoroughly reviewed and revised advanced lectures given at a graduate-level summer school in Caminha, Portugal, in September 2000"--Jacket.
Notes: Based on materials presented at the international summer school on applied semantics that took place in Caminha, Portugal, in September 2000

Includes bibliographical references and indexes

Also available via the World Wide Web