L. E. Jordan. The kernel Z type checking rules. Technical Report LEJ/TC3/001, Imperial Software Technology, Cambridge, UK, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Select Z Bibliography - Bowen (1993) (Correct)
....Jonathan Bowen PRG TR 10 92 Delta Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Select Z Bibliography Jonathan Bowen Abstract This document gives an up to date list of Z references. A version of this bibliography is due appear in the Proceedings of the Z User Workshop, York 1991, edited by John Nicholls, in the Springer Verlag Workshops in Computing series. Further copies of this Technical Report may be obtained from the Librarian, Oxford University Computing Laboratory, Programming Research Group, 11 Keble Road, Oxford OX1 3QD, England (Telephone: 44 865 273837, ....
L.E. Jordan. The kernel Z type checking rules. Technical Report LEJ/TC3/- 001, Imperial Software Technology, Cambridge, UK, 1991.
Z and EVES - Saaltink (1991) (Correct)
....Software Technology (IST) of Cambridge, England. The syntax is based on [51] but includes some extra features that were deemed necessary for the logic. IST defined a formal semantics and logic for their dialect [28] and sketched some proofs of the soundness of the logic. The early draft reports [28, 34, 35] indicate a reasonable approach, but many details (particularly of the soundness proof) remained to be completed. It is also unclear how effective the logic will be. 1 Yes, PZ and not PN EVES Project Technical Report TR 91 5449 02 11 3.7.3 CADiZ CADiZ is the new name for Zork [53] a ....
L. E. Jordan. The kernel Z type checking rules. Technical Report LEJ/TC3/001, Imperial Software Technology, Cambridge, 1991.
Select Z Bibliography - Bowen (1994) (Correct)
No context found.
L. E. Jordan. The kernel Z type checking rules. Technical Report LEJ/TC3/001, Imperial Software Technology, Cambridge, UK, 1991.
Select Z Bibliography - Bowen (1993) (Correct)
No context found.
L.E. Jordan. The kernel Z type checking rules. Technical Report LEJ/- TC3/001, Imperial Software Technology,Cambridge, UK, 1991.
Select Z Bibliography - Bowen (1994) (Correct)
No context found.
L. E. Jordan. The kernel Z type checking rules. Technical Report LEJ/TC3/001, Imperial Software Technology, Cambridge, UK, 1991.
Select Z Bibliography - Bowen (1993) (Correct)
No context found.
L.E. Jordan. The kernel Z type checking rules. Technical Report LEJ/- TC3/001, Imperial Software Technology, Cambridge, UK, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC