Towards an object-oriented progification language

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

Volumn 1275, Issue , 1997, Pages 215-230

  Naraschewski, Wotfgang ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); FORMAL LOGIC; FORMAL VERIFICATION; PROGRAM TRANSLATORS; SIGNAL ENCODING; THEOREM PROVING; TRANSLATION (LANGUAGES);

LAMBDA TERMS; OBJECT ORIENTED; OBJECT-ORIENTED PROGRAM; OBJECT-ORIENTED VERIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 84947719650     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0028396     Document Type: Conference Paper

References (9)

1. Martín Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science, Springer, 1996.
2. Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, and Terry Stroup. Inheritance of proofs. Technical Report IMMDVII-5/96, Informatik VII, Universität Erlangen-Nürnberg, June 1996. presented at the Third International Workshop on Foundations of Object-Oriented Languages (FOOL 96), submitted to a special issue of Theory and Practice of Object-oriented Systems (TAPOS), January 1997.
3. Martin Hofmann and Benjamin Pierce. A unifying type-theoretic framework for objects. In P. Enjaibert, E. W. Mayr, and K. W. Wagner, editors, STACS '94, volume 775 of Lecture Notes in Computer Science, pages 251-262. Springer, 1994.
4. Martin Hofmann and Benjamin Pierce. Positive subtyping. In Proceedings of Twenty-Second Annual ACM Symposium on Principles of Programming Languages, pages 186-197. ACM, January 1995. Full version in Information and Computation, volume 126, number 1, April 1996. Also available as University of Edinburgh technical report ECS-LFCS-94-303, September 1994.
5. Zhaohui Luo and Randy Pollack. LEGO proof development system: User’s manual. Technical Report ECS-LFCS-92-211, Laboratory for Foundations of Computer Science, University of Edinburgh, May 1992.
6. John Mitchell and Gordon Plotkin. Abstract types have existential type. ACM Transactions on Programming Languages and Systems, 10(3):470-502, July 1988.
7. Wolfgang Naraschewski. Object-Oriented Proof Principles using the Proof-Assistant Lego. Diplomarbeit, Universität Erlangen, 1996.
8. Benjamin Pierce. F-Omega-Sub User’s Manual, version 1.0 edition, October 1992.
9. Benjamin Pierce and David Turner, Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207-247, April 1994. A preliminary version appeared in Principles of Programming Languages, 1993, and as University of Edinburgh technical report ECS-LFCS-92-225, under the title "Object-Oriented Programming Without Recursive Types".