Proofs as programs

Program Proofs
von: Leino, K. Rustan M. ca. 20./21. Jh, et al.
Veröffentlicht: (2023)

Adapting proofs-as-programs the Curry-Howard protocol
Veröffentlicht: (2005)

Adapting proofs-as-programs the Curry-Howard protocol
von: Poernomo, Iman Hafiz, et al.
Veröffentlicht: (2005)

Mathematics as programming
von: Constable, Robert Lee 1952-
Veröffentlicht: (1983)

Induction in proofs about programs
von: Greif, Irene Gloria
Veröffentlicht: (1972)

Program development by proof transformation
von: Chiarabini, Luca 1977-
Veröffentlicht: (2009)

Mechanizing proofs of program properties
von: Gitsels, Martin
Veröffentlicht: (1998)

Induction in Proofs about Programs
von: Greif, Irene G.
Veröffentlicht: (1972)

Logic program synthesis via proof planning
von: Kraan, Ina, et al.
Veröffentlicht: (1992)

A logic for correct program development
von: Bates, Joseph L.
Veröffentlicht: (1979)

Certified programs and proofs second international conference, CPP 2012, Kyoto, Japan, December 13 - 15, 2012 ; proceedings
Veröffentlicht: (2012)

A proof procedure for extended logic programs
von: Teusink, Frank
Veröffentlicht: (1993)

Floating point arithmetic and program correctness proofs
von: Holm, John E.
Veröffentlicht: (1980)

Certified programs and proofs third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; proceedings
Veröffentlicht: (2013)

Certified programs and proofs third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; proceedings
von: Gonthier, Georges
Veröffentlicht: (2013)

Predicate inequalities as a basis for automated termination proofs for Prolog programs
von: Plümer, Lutz
Veröffentlicht: (1988)

The synthesis of logic programs from inductive proofs
von: Bundy, Alan, et al.
Veröffentlicht: (1990)

Social processes and proofs of theorems and programs
von: De Millo, Richard A., et al.
Veröffentlicht: (1978)

Types for proofs and programs International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995 ; selected papers
Veröffentlicht: (1996)

Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers
Veröffentlicht: (2002)

Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers
Veröffentlicht: (2002)

Types for proofs and programs International Conference, TYPES 2008, Torino, Italy, March 26 - 29, 2008 ; revised selected papers
Veröffentlicht: (2009)

Types for proofs and programs international workshop, TYPES '98, Kloster Irsee, Germany, March 27 - 31, 1998 ; selected papers
Veröffentlicht: (1999)

Types for proofs and programs international workshop, TYPES '98, Kloster Irsee, Germany, March 27 - 31, 1998 ; selected papers
Veröffentlicht: (1999)

Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers
Veröffentlicht: (2004)

Types for proofs and programs international conference, types 2007, Cividale del Friuli, Italy, May 2 - 5, 2007 ; revised selected papers
Veröffentlicht: (2008)

Proof
von: Francis, Dick 1920-2010
Veröffentlicht: (1985)

Proof
von: Gardiner, Philip
Veröffentlicht: (1998)

Proof

Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
Veröffentlicht: (2006)

The fundamental theorem of arithmetic in PL CV2
von: Constable, Robert Lee 1952-
Veröffentlicht: (1980)

Subrecursive programming languages
von: Constable, Robert Lee 1952-

Report on the type theory (V3) of the programming logic PL/CV3
von: Constable, Robert Lee 1952-, et al.
Veröffentlicht: (1981)

Metalogical frameworks
von: Basin, David A., et al.
Veröffentlicht: (1991)

An elementary formal semantics for the programming language PL CS
von: Constable, Robert Lee 1952-, et al.
Veröffentlicht: (1976)

Subrecursive programming languages
von: Constable, Robert Lee 1952-
Veröffentlicht: (1971)