IMPS: An updated system description

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1104, Issue , 1996, Pages 298-302

  Farmer, William M ^a   Guttman, Joshua D ^a   Javier Thayer Fabrega F ^b  

^a MITRE CORPORATION   (United States)

^b NOBLIS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957619077     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_94     Document Type: Conference Paper

References (19)

1. W. M. Farmer. A partial functions version of Church's simple theory of types. Journal of Symbolic Logic, 55:1269-91, 1990.
2. W. M. Farmer. A simple type theory with partial functions and subtypes. Annals of Pure and Applied Logic, 64:211-240, 1993.
3. W. M. Farmer. Theory interpretation in simple type theory. In J. Heering et al., editor, Higher-Order Algebra, Logic, and Term Rewriting, volume 816 of Lecture Notes in Computer Science, pages 96-123. Springer-Verlag, 1994.
4. W. M. Farmer. Reasoning about partial functions with the aid of a computer. Erkenntnis, 43:279-294, 1995.
5. W. M. Farmer and J. D. Guttman. A set theory with support for partial functions. Technical report, The mitre Corporation, 1996.
6. W. M. Farmer, J. D. Guttman, M. E. Nadel, and F. J. Thayer. Proof script pragmatics in IMPS. In A. Bundy, editor, Automated Deduction-CADE-12, volume 814 of Lecture Notes in Computer Science, pages 356-370. Springer-Verlag, 1994.
7. W. M. Farmer, J. D. Guttman, and J. D. Ramsdell. A verified compiler for Multithreaded PreScheme. Technical Report MP-95B370, The MITRE Corporation, 1995.
8. W. M. Farmer, J. D. Guttman, and F. J. Thayer. IMPS: System description. In D. Kapur, editor, Automated Deduction-CADE-11, volume 607 of Lecture Notes in Computer Science, pages 701-705. Springer-Verlag, 1992.
9. W. M. Farmer, J. D. Guttman, and F. J. Thayer. Little theories. In D. Kapur, editor, Automated Deduction-CADE-11, volume 607 of Lecture Notes in Computer Science, pages 567-581. Springer-Verlag, 1992.
10. W. M. Farmer, J. D. Guttman, and F. J. Thayer. IMPS: An Interactive Mathematical Proof System. Journal of Automated Reasoning, 11:213-248, 1993.
11. W. M. Farmer, J. D. Guttman, and F. J. Thayer. The IMPS user's manual. Technical Report M-93B138, The MITRE Corporation, 1993.
12. W. M. Farmer, J. D. Guttman, and F. J. Thayer. Contexts in mathematical reasoning and computation. Journal of Symbolic Computation, 19:201-216, 1995.
13. W. M. Farmer and F. J. Thayer. Two computer-supported proofs in metric space topology. Notices of the American Mathematical Society, 38:1133-1138, 1991.
14. W. M. Farmer and F. J. Thayer. Formal numerical program analysis. Technical report, The MITRE Corporation, 1994.
15. J. D. Guttman. A proposed interface logic for verification environments. Technical Report M91-19, The MITRE Corporation, 1991.
16. J. D. Guttman and D. M. Johnson. Three applications of Formal Methods at MITRE. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME '94: Industrial Benefits of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 55-65. Springer Verlag, 1994.
17. L. G. Monk. Inference rules using local contexts. Journal of Automated Reasoning, 4:445-462, 1988.
18. F. J. Thayer. An approach to process algebra using IMPS. Technical Report MP- 94B193, The MITRE Corporation, 1994.
19. F. J. Thayer Fábrega and J. D. Guttman. Copy on write. Technical report, The MITRE Corporation, 1995.