Higher order operational techniques in semantics
Éditeur :
Cambridge University Press
ISBN :
9780521631686
Date de publication :
22 janv. 1998
Dimensions :
23,6 x 15,7 x 2,5 cm
Poids :
640 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading researchers in the field. It surveys and introduces various techniques and treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped.