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