Image

BAIL: a debugger for SAIL.

41 of 64

FAIL.

42 of 64

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

43 of 64

Inference rules for program annotation

44 of 64

Monte Carlo simulation of tolerancing in discrete parts manufacturing and assembly

45 of 64

Towards a semantic theory of dynamic binding.

46 of 64

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

47 of 64

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

48 of 64

SAIL

49 of 64

The convergence of functions to fixedpoints of recursive definitions

50 of 64

Exhibits