Applied semantics
Subtitle: advanced lectures
By: Gilles Barthe ... [et al.] (eds.).
Contributors: Barthe, Gilles, 1967-
Series: Lecture notes in computer science -- 2395
Publisher: Springer
Published: 2002
Place of publication: New York
Language: eng
Subjects: Programming languages (Electronic computers) -- Semantics.
Notes: Based on materials presented at the international summer school on applied semantics that took place in Caminha, Portugal, in September 2000.