Capa do artigo A Paradigm For Program Semantics

A Paradigm For Program Semantics

Power Structures And Duality

de Ingrid Rewitsky e Chris Brink
idioma: inglês
Editor: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, setembro de 2001 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.

A Paradigm For Program Semantics

Power Structures And Duality

de Ingrid Rewitsky e Chris Brink

Propriedade Descrição
ISBN: 9781575863443
Editor: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Data de Lançamento: setembro de 2001
Idioma: Inglês
Dimensões: 16 x 23 x 2 mm
Encadernação: Capa mole
Páginas: 286
Tipo de produto: Livro
Coleção: Studies In Logic, Language & Information
Classificação Temática: Livros em Inglês > Literatura > Linguística e Filologia
Livros em Inglês > Outros
EAN: 9781575863443

LIVROS DA MESMA COLEÇÃO

CHRIS BRINK

VER MAIS TÍTULOS DESTE AUTOR