[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Cousot90

  1. Patrick Cousot
  2. Methods and Logics for Proving Programs
  3. Chapter 15 (pp841..993) of Leeuwen90
  4. =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 uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]