The ergo support system: An integrated set of tools for prototyping integrated environments

Proceedings of the 3rd ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SDE 1988

Volumn , Issue , 1989, Pages 25-34

  Lee, Peter ^a   Pfenning, Frank ^a   Rollins, Gene ^a   Scherlis, William ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FORMAL METHODS; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING;

ABSTRACT INTERFACES; COMPONENT INTEGRATION; ENGINEERING CHALLENGES; ENGINEERING FRAMEWORKS; ENVIRONMENT ARCHITECTURES; INTEGRATED ENVIRONMENT; OPEN ARCHITECTURE; PROGRAM DEVELOPMENT;

SOFTWARE DESIGN;

EID: 85032451067     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/64135.65006     Document Type: Conference Paper

References (30)

1. G. Bobrow et al. Common lisp object system specification. Working Draft. February 1988.
2. R. M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24(1):44-67, January 1977.
3. Robert L. Constable et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs, New Jersey, 1986.
4. Robert L. Constable, Todd Knoblock, and Joseph L. Bates. Writing programs that construct proofs. Journal of Automated Reasoning, 1(3):285-326, 1984.
5. William Clinger. The Revised Revised Report on Scheme. AI Memo 848, MiT, Cambridge, August 1985.
6. Scott R. Dietzen. The Ergo Approach to Syntax. Ergo Report In preparation, Carnegie Mellon University, Pittsburgh, 1988.
7. Scott R. Dietzen, Mary Ann Pike, Anne M. Rogers, and William L. Scherlis. User's Guide to the Ergo Syntax Facility. Ergo Report In preparation, Carnegie Mellon University, Pittsburgh, 1988.
8. Amy Felty and Dale A. Miller. Specifying theorem provers in a higher-order logic programming language. In Ewing Lusk and Ross Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, pages 61-80, Springer-Verlag LNCS 310, Berlin, May 1988.
9. Tim Freeman. DISPLAY-A Window System for Customizing the User. Ergo Report 88-066, Carnegie Mellon University, Pittsburgh, September 1988.
10. Tim Freeman. Overriding Methods Considered Harmful; or ADT-OBJ: Rationale and User's Guide. Ergo Report 88-064, Carnegie Mellon University, Pittsburgh, July 1988.
11. J. Gosling and D. Rosenthal. A window-manager for bitmapped displays and UNTX. In F. R. A. Hopgood et al., editors, Methodology of Window Managers, North-Holland, 1987.
12. Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. In Symposium on Logic in Computer Science, pages 194-204, IEEE, June 1987.
13. Gérard Huet and Bernard Lang. Proving and applying program transformations expressed with second-order patterns. Acta Informatica, 11:31-55, 1978.
14. John Hannan and Dale Miller. Enriching a metalanguage with higher-order features. In John Lloyd, editor, Proceedings of the Workshop on Meta-Programming in Logic Programming, University of Bristol, Bristol, England, June 1988.
15. John Hannan and Dale Miller. Uses of higher-order unification for implementing program transformers. In Robert A. Kowalski and Kenneth A. Bowen, editors, Logic Programming: Proceedings of the Fifth International Conference and Symposium, Volume 2, pages 942-959, MJT Press, Cambridge, Massachusetts, August 1988.
16. Peter Lee, Frank Pfenning, John Reynolds, Gene Rollins, and Dana Scott. Research on Semantically Based Program-Design Environments: The Ergo Project in 1988. Technical Report CMU-CS-88-118, Carnegie Mellon University, Pittsburgh, March 1988.
17. Dale A. Miller and Gopalan Nadathur. Higher-order logic programming. In Proceedings of the Third International Conference on Logic Programming, Springer Verlag, July 1986.
18. Dale A. Miller and Gopalan Nadathur. A logic programming approach to manipulating formulas and programs. In Symposium on Logic Programming, San Francisco, IEEE, September 1987.
19. Gopalan Nadathur and Dale Miller. An overview of AProlog. In Robert A. Kowalski and Kenneth A. Bowen, editors, Logic Programming: Proceedings of the Fifth International Conference and Symposium, Volume 1, pages 810-827, MIT Press, Cambridge, Massachusetts, August 1988.
20. Robert L. Nord. A Framework for Program Flow Analysis. Ergo Report 87-038, Carnegie Mellon University, Pittsburgh, November 1987.
21. Robert L. Nord and Frank Pfenning. The Ergo attribute system. In Proceedings of the SIG-PLAN'88 Symposium on Software Development Environments, Boston, November 28-30, ACM Press, 1988. To appear.
22. Frank Pfenning and Conal Elliott. Higher-order abstract syntax. In Proceedings of the SIGPLAN '88 Symposium on Language Design and Implementation, pages 199-208, ACM Press, June 1988. Available as Ergo Report 88-036.
23. Frank Pfenning. Elf: A Language for Logic Definition and Verified Meta-Programming. Ergo Report, Carnegie Mellon University, Pittsburgh, Pennsylvania, September 1988. In preparation.
24. Frank Pfenning. Program development through proof transformation. In Wilfried Sieg, editor, Logic and Computation, AMS, Providence, Rhode Island, 1988. To appear.
25. Robert Paige and Shaye Koening. Finite Differencing of Computable Expressions. Technical Report LCSR-TR-8, Laboratory for Computer Science Research, Rutgers University, August 1980.
26. Frank Pfenning and Peter Lee. LEAP: A Language with Eval and Polymorphism. Ergo Report 88-065, Carnegie Mellon University, Pittsburgh, Pennsylvania, July 1988.
27. William L. Scherlis. Software development and inferential programming. In NATO ASI Series, Vol. F8 Program Transformation and Programming Environments, Springer-Verlag, 1984.
28. William L. Scherlis. Abstract data types, specialization and program reuse. In International Workshop on Advanced Programming Environments, Springer-Verlag LNCS 244, 1986.
29. William L. Scherlis and Dana S. Scott. First steps towards inferential programming. In R.E A. Mason, editor, Information Processing, pages 199-212, Elsevier Science Publishers, 1983.
30. Reinhard Wilhelm. Global Flow Analysis and Optimization in the MUG2 Compiler Generating System, pages 132-159. Prentice Hall, 1981.