Showing Image 64 items

41. Natural language understanding systems within the AI paradigm: a survey and some comparisons.

42. Inference rules for program annotation

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

44. Towards a semantic theory of dynamic binding.

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

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

47. SAIL

48. The convergence of functions to fixedpoints of recursive definitions

49. Essential E

50. Operational reasoning and denotational semantics.