H ? « »

Language peer sets for PIVOT Input language:
United States
United States/1973
Designed 1973
1970s languages
Fourth generation
High Cold War
Specialised Languages
Specialised Languages/1973
Specialised Languages/us

PIVOT Input language(ID:7160/)

INput language for the PIVOT theorem prover 

alternate simple view
Country: United States
Designed 1973
Sammet category: Specialised Languages

System for proving theorems

"The input language for PIVOT is a simple statement-oriented language reminiscent of ALGOL W"

Deutsch, Stanford, 1973

Related languages
ALGOL W PIVOT Input language   Based on
PIVOT Input language PIVOT   Input language for

  • Deutsch L. (1973) Deutsch L. P. An interactive program verifier, Xerox Palo Alto Research Center Report CSL-73-1, May 1973. Extract: Input Language Extract: Representation and Simplification
  • Deutsch L.P. (1973) Deutsch L.P. An interactive program verifier, Ph.D. thesis, University of California?Berkeley, 1973
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder