Showing Image 64 items

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

Essential E

Operational reasoning and denotational semantics.