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

Bibliographic Item (1.0)

MorrisBunkenburgTyrrell09
  1. JOSEPH M. MORRIS & ALEXANDER BUNKENBURG & MALCOLM TYRRELL
  2. Term Transformers: A New Approach to State
  3. ACM Trans. Program. Lang. Syst. V31n4 (May 2009)a16:1-42 [ 1516507.1516511 ]
  4. =IDEA TERM TRANSFORMERS PREDICATE wp LANGUAGES SEMANTICS LOGIC PROOF Lambda axiomatic denotation Dijkstra
  5. phase::=command "|>" term.
  6. In the text \righttriangle is used for my "|>" above.
  7. Example:
  8. x:=x+1 |> x^2 = (x+1)^2.
  9. Uses a lambda calculus based language of commands and terms to establish mathematical bona vides.

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]