Image

Monte Carlo simulation of tolerancing in discrete parts manufacturing and assembly

11 of 21

Towards a semantic theory of dynamic binding.

12 of 21

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

13 of 21

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

14 of 21

SAIL

15 of 21

The convergence of functions to fixedpoints of recursive definitions

16 of 21

Essential E

17 of 21

Operational reasoning and denotational semantics.

18 of 21

BAOBAB, a parser for a rule-based system using a semantic grammar

19 of 21

An overview of KRL, a Knowledge Representation Language

20 of 21

Exhibits