Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG116] |
CATEGORY−BASED SEMANTICS FOR EQUATIONAL AND CONSTRAINT LOGIC PROGRAMMING Razvan Diaconescu No. PRG116. OUCL. July, 1994. |
|
[PRG115] |
An Operational Semantics for FOOPS Panlo Borba and Joseph A. Goguen No. PRG115. OUCL. November, 1994. |
|
[PRG114] |
PROVING CORRECTNESS OF REFINEMENT AND IMPLEMENTATION Grant Malcolm and Joseph A. Goguen No. PRG114. OUCL. November, 1994. |