Semanics With Application /
Nielson, Hanne Riis.
Semanics With Application / by Hanne Riis Nielson. - New Yark : Johan Wiley &sons, 1992 - v, 240p. : ill. ; 24 cm.
index present.
1- Introduction
2- Operational Semantics
3- Provably Correct Implementation
4- Denotational Semantics
5- Static Program Analysis
6- Axiomatic Program Verification
7- Further Reading
0471929808 (pbk)
--A Formal Introducation.
005.131 / NIE-S 1992 2750
Semanics With Application / by Hanne Riis Nielson. - New Yark : Johan Wiley &sons, 1992 - v, 240p. : ill. ; 24 cm.
index present.
1- Introduction
2- Operational Semantics
3- Provably Correct Implementation
4- Denotational Semantics
5- Static Program Analysis
6- Axiomatic Program Verification
7- Further Reading
0471929808 (pbk)
--A Formal Introducation.
005.131 / NIE-S 1992 2750