Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : APPSEM 2000 (2000 ; Caminha, Potrugal)  Voir les notices liées en tant qu'auteur

Titre(s) : Applied semantics [Texte électronique] : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / Gilles Barthe [and others] (eds.)

Publication : Berlin ; New York : Springer, 2002

Description matérielle : 1 online resource (vi, 536 pages)

Collection : Lecture notes in computer science ; 2395

Note(s) : 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 index
English.
This book presents revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal in September. The nine lectures included present recent developments in programming language research in a coherent and systematic way. Among the topics addressed are - description of existing programming languages features - design of new programming languages features - implementation and analysis of programming languages - transformation and generation of programs - verification of programs

Autre(s) auteur(s) : Barthe, Gilles (1967-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Langages de programmation -- Sémantique  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540456995

Identifiant de la notice  : ark:/12148/cb44690927f

Notice n° :  FRBNF44690927 (notice reprise d'un réservoir extérieur)

Table des matières : 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 / Cédric 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.