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

Places
People:
Related languages
ALGOL W → PIVOT Input language   Based on
PIVOT Input language → PIVOT   Input language for
References:
  • 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