Applied semantics

Advanced lectures

Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

542 pages, parution le 30/09/2002

Ajouter à une liste

Indisponible

Résumé

This book presents nine thoroughly reviewed and revised advanced lectures given at a graduate-level summer school in Caminha, Portugal, in September 2000.The presentations are devoted to recent developments in programming language research, both in semantic theory and in implementation, focusing on the following topics:

description of existing programming language features
design of new programming language features
implementation and analysis of programming languages
transformation and generation of programs
verification of programs.

Contents

An Introduction to Dependent Type Theory
Gilles Barthe and Thierry Coquand
Monads and Effects
Nick Benton, John Hughes, and Eugenio Moggi
Abstract Machines, Control, and Sequents
Pierre-Louis Curien
Normalization and Partial Evaluation
Peter Dybjer and Andrzej Filinski
Computing with Real Numbers
Abbas Edalat and Reinhold Heckmann
The Join Calculus: A Language for Distributed Mobile Programming
Cedric Fournet and Georges Gonthier
An Introduction to Functional Nets
Martin Odersky
Operational Semantics and Program Equivalence
Andrew M. Pitts
Using, Understanding, and Unraveling the OCaml Language
Didier Rémy

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva
Parution	30/09/2002
Nb. de pages	542
Format	15, 5 x 23, 5
Couverture	Broché
Poids	808g
Intérieur	Noir et Blanc
EAN13	9783540440444