Search

11. Monte Carlo simulation of tolerancing in discrete parts manufacturing and assembly

12. Towards a semantic theory of dynamic binding.

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

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

15. SAIL

16. The convergence of functions to fixedpoints of recursive definitions

17. Essential E

18. Operational reasoning and denotational semantics.

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

20. An overview of KRL, a Knowledge Representation Language