Search

Showing 21 items on ""
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.
BAOBAB, a parser for a rule-based system using a semantic grammar
An overview of KRL, a Knowledge Representation Language