Skip to main content
SpringerLink
Log in

Applied Semantics

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Gilles Barthe

    1. Projet Lemme, INRIA Sophia-Antipolis, Sophia Antipolis Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Dybjer

    1. Department of Computing Science, Chalmers University of Technology, Göteborg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Luís Pinto

    1. Departamento de Matemática, Universidade do Minho, Braga, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. João Saraiva

    1. Departamento de Informática, Universidade do Minho, Braga, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: APPSEM 2000.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. An Introduction to Dependent Type Theory

    • Gilles Barthe, Thierry Coquand
    Pages 1-41

  3. Monads and Effects

    • Nick Benton, John Hughes, Eugenio Moggi
    Pages 42-122

  4. Abstract Machines, Control, and Sequents

    • Pierre-Louis Curien
    Pages 123-136

  5. Normalization and Partial Evaluation

    • Peter Dybjer, Andrzej Filinski
    Pages 137-192

  6. Computing with Real Numbers

    • Abbas Edalat, Reinhold Heckmann
    Pages 193-267

  7. The Join Calculus: A Language for Distributed Mobile Programming

    • Cédric Fournet, Georges Gonthier
    Pages 268-332

  8. An Introduction to Functional Nets

    • Martin Odersky
    Pages 333-377

  9. Operational Semantics and Program Equivalence

    • Andrew M. Pitts
    Pages 378-412

  10. Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa

    • Didier Rémy
    Pages 413-536

  11. Back Matter

    Pages 537-537
    Download chapter PDF
Back to top

Other volumes

  1. Applied Semantics

Keywords

About this book

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.

Editors and Affiliations

  • Projet Lemme, INRIA Sophia-Antipolis, Sophia Antipolis Cedex, France

    Gilles Barthe

  • Department of Computing Science, Chalmers University of Technology, Göteborg, Sweden

    Peter Dybjer

  • Departamento de Matemática, Universidade do Minho, Braga, Portugal

    Luís Pinto

  • Departamento de Informática, Universidade do Minho, Braga, Portugal

    João Saraiva

Bibliographic Information

  • Book Title: Applied Semantics

  • Book Subtitle: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

  • Editors: Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-45699-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2002

  • Softcover ISBN: 978-3-540-44044-4Published: 21 August 2002

  • eBook ISBN: 978-3-540-45699-5Published: 02 August 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 536

  • Topics: Semantics, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation