Applied Semantics

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

  • Gilles Barthe
  • Peter Dybjer
  • Luís Pinto
  • João Saraiva
Conference proceedings APPSEM 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2395)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Gilles Barthe, Thierry Coquand
    Pages 1-41
  3. Nick Benton, John Hughes, Eugenio Moggi
    Pages 42-122
  4. Pierre-Louis Curien
    Pages 123-136
  5. Peter Dybjer, Andrzej Filinski
    Pages 137-192
  6. Abbas Edalat, Reinhold Heckmann
    Pages 193-267
  7. Cédric Fournet, Georges Gonthier
    Pages 268-332
  8. Martin Odersky
    Pages 333-377
  9. Andrew M. Pitts
    Pages 378-412
  10. Back Matter
    Pages 537-537

About these proceedings


This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of graduate-level lectures. The school was sponsored by the ESPRIT Working Group 26142 on Applied Semantics(APPSEM),whichoperatedbetweenApril1998andMarch2002.The purpose of this working group was to bring together leading reseachers, both in semantic theory and in implementation, with the speci?c aim of improving the communication between theoreticians and practitioners. TheactivitiesofAPPSEMwerestructuredintonineinterdisciplinarythemes: A: Semantics for object-oriented programming B: Program structuring C: Integration of functional languages and proof assistants D: Veri?cation methods E: Automatic program transformation F: Games, sequentiality, and abstract machines G: Types and type inference in programming H: Semantics-based optimization I: Domain theory and real number computation These themes were identi?ed as promising for pro?table interaction between semantic theory and practice, and were chosen to contribute to the following general topics: – description of existing programming language features; – design of new programming language features; – implementation and analysis of programming languages; – transformation and generation of programs; – veri?cation of programs. The chapters in this volume give examples of recent developments covering a broad range of topics of interest to APPSEM.


Program Semantics Program Structuring Program Verification Programming Calculi Programming Language Design Programming Language Implementation Programming Languages Programming Theory Type Theory programming programming language semantic semantics verification

Editors and affiliations

  • Gilles Barthe
    • 1
  • Peter Dybjer
    • 2
  • Luís Pinto
    • 3
  • João Saraiva
    • 4
  1. 1.Projet LemmeINRIA Sophia-AntipolisSophia Antipolis CedexFrance
  2. 2.Department of Computing ScienceChalmers University of TechnologyGöteborgSweden
  3. 3.Departamento de MatemáticaUniversidade do MinhoBragaPortugal
  4. 4.Departamento de InformáticaUniversidade do MinhoBragaPortugal

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44044-4
  • Online ISBN 978-3-540-45699-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site