Searching for "Occam Specification and Compiler Correctness - Part I The Primary Model." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Occam: Specification and Compiler Correctness - Part I: The Primary Model
by Egon Börger, Igor Durdanovic, Igor D Urd, Dean Rosenzweig — 1994 — In IFIP 13th World Computer Congress, Volume I: Technology/Foundations
…489 Occam: Specification and Compiler Correctness Part I: The Primary Model Egon Borger a…
Cited by 7 (0 self) – Add To MetaCart

Integrating Formal Domain Specific Language Design . . .
by Kutter, Pdc T. J. Parr, H. G. Dietz, W. E. Cohen, Pccts Reference Manual — 1998
… Correctness. Part I: The Primary Model. In IFIP 13th World Computer Congress, Volume I: Technology…
Cited by 4 (4 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB