Image

Natural language understanding systems within the AI paradigm: a survey and some comparisons.

11 of 32

Inference rules for program annotation

12 of 32

Monte Carlo simulation of tolerancing in discrete parts manufacturing and assembly

13 of 32

Towards a semantic theory of dynamic binding.

14 of 32

The macro processing system STAGE2: transfer of comments to the generated text.

15 of 32

Automatic program verification V: verification-oriented proof rules for arrays, records and pointers

16 of 32

SAIL

17 of 32

The convergence of functions to fixedpoints of recursive definitions

18 of 32

Essential E

19 of 32

Operational reasoning and denotational semantics.

20 of 32

Exhibits