[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Martin Ward
- Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm
- IEEE Trans SE V22n9(Sep 1996)pp663-686
- =THEORY LOGIC SPECIFICATION DERIVATION ALGORITHM DATA
- action language with specification statements
- steps introduce ghost variables
- steps can combine data structures that both drive and are developed by the algorithms
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]