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

The intention is as follows.

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

Feb-1-1972

Country:
- North America > United States
  - Wisconsin (0.04)
  - Rhode Island > Providence County
    - Providence (0.04)
  - Pennsylvania > Allegheny County
    - Pittsburgh (0.04)
  - Massachusetts > Middlesex County
    - Cambridge (0.04)
- Europe > Netherlands
  - North Holland > Amsterdam (0.04)

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