Connotational theory of program structure, a

Auteur :
Royer, J.
Éditeur :
Royer, J.
ISBN :
9783540182535
Date de publication :
26 août 1987
Dimensions :
23,4 x 15,6 x 1,0 cm
Poids :
630 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This book presents developments of a language-independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes.