Showing Image 64 items

41. BAIL: a debugger for SAIL.

42. FAIL.

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

44. Inference rules for program annotation

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

46. Towards a semantic theory of dynamic binding.

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

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

49. SAIL

50. The convergence of functions to fixedpoints of recursive definitions