MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Demonstrably Correct Compiler." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Computing, 1(1):85--114, 1989. [Nip89] Tobias Nipkow. Term rewriting and beyond - theorem proving in Isabelle.
by Formal Aspects Of, Nhwg Morgens Nielsen, Klaus Havelund, Kin Ritter Wagner, Chris George, The Raise, Ps H A Partsch, F A Stomp
…91] Susan Stepney, Dave Whitely, David Cooper, and Colin Grant. A demonstrably correct compiler…
Add To MetaCart

Mechanical Verification of Compiler Correctness
by David William, David William John Stringer-Calvert — 1998
…Mechanical Verification of Compiler Correctness David William John Stringer-Calvert A thesis…
Add To MetaCart

Using PVS to Prove a Z Refinement:
by David W. J. Stringer-calvert, Susan Stepney, Ian W — 1997
… demonstrably correct compiler for a simple (but non-trivial) language Tosca, targeted at an imaginary assembler…
Add To MetaCart

Formal Aspects of Computing Bibliography
by J. Allison, Mark Harman, Dan Simpson, Carroll Morgan, Annabelle Mciver, Karen Seidel, J C M Baeten, Geoffrey Brown, Wayne Luk, Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification — 1997
…, David Cooper, and Colin Grant. A demonstrably correct compiler. Formal Aspects of Computing, 3…
Add To MetaCart

HW-Hume in Isabelle
by Chunxu Liu, Greg Michaelson
… technology. Palsberg [14] designed, implemented and proved the correctness of a compiler generator, called…
Add To MetaCart

Showing 1 through 5.

ATOM

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