H ? « ‹ ← → › »

Language peer sets for PIVOT:
United States↑
United States/1971↑
Designed 1971 ↑
1970s languages ↑
Third generation↑
High Cold War↑

PIVOT(ID:7161/)

Program verification 

alternate simple view
Country: United States
Designed 1971
Published: 1973

Program verification through heuristics

Deutsch, SRI, 1973

It was a LISP dialect, but took Algol-W like syntac language as an input
Related languages
LISP 1.5 → PIVOT   Based on
PIVOT Input language → PIVOT   Input language for
QA4 → PIVOT   Influence
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