[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Patrick Cousot
- Methods and Logics for Proving Programs
- Chapter 15 (pp841..993) of Leeuwen90
- =THEORY Operational and relational semantics
Studies relation between operational and relational semantics. Theorem
19(pages 856..858) proves that relational semantics imply operational with
termination ignored. Angelic - Floyd non-determinsism and demonic -
Dijkstra non-determinism being extreme cases in which operational can
handle relational non-determinism. Refers to HoareLauer84, GreifMeyer81
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]