Search

Showing 64 items on ""
BAIL: a debugger for SAIL.
FAIL.
Natural language understanding systems within the AI paradigm: a survey and some comparisons.
Inference rules for program annotation
Monte Carlo simulation of tolerancing in discrete parts manufacturing and assembly
Towards a semantic theory of dynamic binding.
The macro processing system STAGE2: transfer of comments to the generated text.
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers
SAIL
The convergence of functions to fixedpoints of recursive definitions