Librairie professionnelle internationale

Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02

Url canonique : www.lavoisier.fr/livre/autre/complementary-definitions-of-programming-language-semantics/donahue/descriptif_2933043
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2933043

Librairie professionnelle internationale

Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02

Complementary Definitions of Programming Language Semantics, 1976 Lecture Notes in Computer Science Series, Vol. 42

Langue : Anglais

Auteur : Donahue J.E.

Couverture de l’ouvrage Complementary Definitions of Programming Language Semantics

Sommaire

History and literature review.- Basic elements of the lattice-theoretic approach.- Complementary definitions of a PASCAL subset.- Consistency of the PASCAL subset definitions.- Extensions to the PASCAL subset language.- Conclusions and directions of future research.