Intensional logics for programming
Éditeur :
Oxford University Press
ISBN :
9780198537755
Date de publication :
27 août 1992
Dimensions :
24,1 x 16,2 x 1,8 cm
Poids :
510 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.