Titre :
|
Denotational semantics : the Scott-Strachey approach to programming language theory
|
Titre original:
|
Sémantique dénotationnelle : l'approche de Scott-Strachey à la théorie de la programmation
|
Auteurs :
|
J. Stoy
|
Type de document :
|
ouvrage
|
Editeur :
|
Cambridge, USA : MIT Press, 1989
|
Format :
|
414p
|
Langues:
|
= Anglais
|
Catégories :
|
INFORMATIQUE-MESURES
|
Mots-clés:
|
ALGORITHME
;
INTELLIGENCE ARTIFICIELLE
|
Résumé :
|
First book length exposition of the denotational approach to the formal semantics of programming languages (in contrast to operational and axiomatic approaches). Treats various kinds of language, beginning with the pure lambda-calculus and progressing through languages with states, commands, jumps and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source.
|