MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Programming with Proofs." – sorted by Relevance.

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

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

1,010 documents found, showing 1 through 10. Next 10 →

ATOM

Programs, Proofs and Parametrized Specifications.
by Iman Poernomo, John N. Crossley, Martin Wirsing
…Programs, proofs and parametrized specications. Iman Poernomo, 1;? John N. Crossley, 1…
Add To MetaCart

Partiality and Nondeterminacy in Program Proofs
by Joseph M. Morris, Alexander Bunkenburg, Er Bunkenburg — 1999 — Form. Asp. Comp
… and Generalization: Partiality and Nondeterminacy in Program Proofs 5 Fig. 1. Basic axioms of E, E3, E2, and E4…
Cited by 7 (3 self) – Add To MetaCart

Concurrent Programming as Proof Net Construction
by G. Perrier — 1997 — Mathematical Structures in Computer Science
… Concurrent Programming as Proof Net Construction G. Perrier CRIN-CNRS & INRIA Lorraine Campus Scientifique…
Cited by 3 (0 self) – Add To MetaCart

SKIL: A System for Programming with Proofs
by D. Galmiche, O. Hermann — 1993 — In LPAR'93, International Conference on Logic Programming and Automated Reasoning, LNAI 698
…SKIL: A System for Programming with Proofs ? D. Galmiche and O. Hermann CRIN - CNRS & INRIA…
Cited by 2 (2 self) – Add To MetaCart

Dependently Typed Functional Programs and their Proofs
by Conor Mcbride — 1999
…Dependently Typed Functional Programs and their Proofs Conor McBride Doctor of Philosophy…
Cited by 49 (10 self) – Add To MetaCart

Dependently Typed Functional Programs and their Proofs
by Conor Mcbride Doctor, Conor Mcbride — 2000
…Dependently Typed Functional Programs and their Proofs Conor McBride Doctor of Philosophy…
Add To MetaCart

Mechanized semantics with applications to program proof and compiler verification
by Xavier Leroy
…Mechanized semantics with applications to program proof and compiler verification Xavier LEROY…
Add To MetaCart

Universes for Generic Programs and Proofs in Dependent Type Theory
by Marcin Benke, Peter Dybjer, Patrik Jansson — 2003 — Nordic Journal of Computing
…Universes for Generic Programs and Proofs in Dependent Type Theory Marcin Benke, Peter Dybjer…
Cited by 28 (1 self) – Add To MetaCart

Towards A Theory Of Specifications, Programs And Proofs
by Nora Szasz — 1995 — In Proceedings of the 7th. Nordic Workshop on Programming Theory, PMG report 86, Goteborg
…TOWARDS A THEORY OF SPECIFICATIONS, PROGRAMS AND PROOFS NORA SZASZ DEPARTMENT OF COMPUTING…
Cited by 1 (0 self) – Add To MetaCart

Programming with proofs and explicit contexts. In Principles and Practice of Declarative
by In Canada, Joshua Dunfield, Brigitte Pientka, Joshua Dunfield, Joshua Dunfield, Brigitte Pientka — 2004
… Pientka and Joshua Dunfield. Programming with proofs and explicit contexts. In Principles and Practice…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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