Some techniques for proving correctness of programs which alter data structures

Feb-1-1972–Classics/files/AI/classics/Machine_Intelligence_7/MI-7-Ch2-Burstall.pdf

Machine Intelligence 7

artificial intelligence, programming language, rev, (17 more...)

Feb-1-1972

Country:
- North America > United States
  - Pennsylvania (0.14)
  - Rhode Island (0.14)

Technology:
- Information Technology
  - Artificial Intelligence (1.00)
  - Software > Programming Languages (0.64)

Duplicate Docs Excel Report

Title
x: = cons (1, nil); 1 nil y: = cons (2, x) 2 1 nil hd (x): =3

Similar Docs Excel Report more

Title	Similarity	Source
None found