Idioma:

Applied semantics international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures

Gilles Barthe 1967-

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2395 ) e outros locais(Acessar)

Título:
Applied semantics international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures
Autor: Gilles Barthe 1967-
Assuntos: Programming languages (Electronic computers) -- Semantics; LINGUAGEM DE PROGRAMAÇÃO; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS; SOFTWARES; SEMÂNTICA DE PROGRAMAÇÃO
Notas: Includes bibliographical references and indexes
Descrição: 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 G onthier -- 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
Títulos relacionados: Série:Lecture notes in computer science Lecture notes in artificial intelligence; Lecture notes in computer science 2395
Editor: Berlin Springer New York
Data de criação/publicação: c2002
Formato: vi, 536 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 6 Avançar Ir para próxima página