Searching for "Proofs as Programs." – sorted by Relevance.
859 documents found, showing 1 through 10.
Next 10 →
-
Classical Proofs and Programs
- …Classical Proofs and Programs Helmut Schwichtenberg, Universitat Munchen Contents 1 Introduction…
- Add To MetaCart
-
Proofs by Program Transformations
- …Proofs by Program Transformations Abhik Roychoudhury 1 , K. Narayan Kumar 1�2 , C.R. Ramakrishnan…
- Add To MetaCart
-
Proofs by program transformations
- …Proofs by Program Transformations Abhik Roychoudhury ¡ , K. Narayan Kumar ¡£¢ ¤ , C…
- Cited by 3 (2 self) – Add To MetaCart
-
Functors for Proofs and Programs
- …Functors for Proofs and Programs Jean-Christophe Fillitre and Pierre Letouzey LRI CNRS UMR 8623…
- Cited by 7 (1 self) – Add To MetaCart
-
Types for Proofs and Programs
- …Types for Proofs and Programs Bernd Grobauer Progress Report BRICS BRICS Ph.D. School Department…
- Add To MetaCart
-
What is the Difference between Proofs and Programs?
- …What is the difference between proofs and programs? ⋆ John N. Crossley 1 School of Computer…
- Add To MetaCart
-
PROSPECTUS - Sound Foundations for Effective Proofs of Programs
- …P R O S P E C T U S Sound Foundations for Effective Proofs of Programs Research towards the Ph…
- Add To MetaCart
-
The Machine-Assisted Proof Of Programming Language Properties
- …THE MACHINE-ASSISTED PROOF OF PROGRAMMING LANGUAGE PROPERTIES MYRA VANINWEGEN A DISSERTATION…
- Add To MetaCart
-
Encoding the program correctness proofs as programs in PCC technology
- …Encoding the program correctness proofs as programs in PCC technology ∗ Heidar Pirzadeh DIRO…
- Cited by 1 (1 self) – Add To MetaCart
-
Cyclic proofs of program termination in separation logic. Forthcoming
- …Cyclic Proofs of Program Termination in Separation Logic ∗ James Brotherston Imperial College…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
