Mathematical foundations of programming semantics: 9th international conference, new orleans, la, usa, april 7-10, 1993 - proceedings
Auteur :
Brookes, Stephen
ISBN :
9783540580270
Date de publication :
20 mai 1994
Dimensions :
23,3 x 15,5 x 3,4 cm
Poids :
922 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume of conference proceedings focuses on the semantics of programming languages and the mathematics which support the study of semantics. Current research is also presented on denotational semantics and the application of semantics to category theory, logic and lattice theory.