Class-based and algebraic models of objects

Electronic Notes in Theoretical Computer Science

Volumn 14, Issue , 1998, Pages 214-244

  Leavens, Gary T ^a   Pigozzi, Don ^b  

^a Iowa State University   (United States)

^b IOWA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; FUNCTIONS; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; SEMANTICS;

CLASS-BASED LANGUAGES; MESSAGE PASSING; MULTIPLE-DISPATCHING LANGUAGES; POLYMORPHISM;

OBJECT ORIENTED PROGRAMMING;

EID: 18944383846     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80238-5     Document Type: Conference Paper

References (53)

1. Martín Abadi, Cardelli Luca. "A Theory of Objects," Monographs in Computer Science. 1996;Springer-Verlag, New York, N.Y
2. Ken Arnold, Gosling James. "The Java Programming Language," The Java Series. Addison-Wesley, Reading, MA, second edition. 1998
3. Bracha, Gilad and William Cook, Mixin-based inheritance, ACM SIGPLAN Notices 25(10):303-311, October 1990. OOPSLA ECOOP'90 Proceedings, N. Meyrowitz (editor).
4. Kim Bruce, Cardelli Luca. Giuseppe Castagna, The Hopkins Object Group, Gary T. Leavens, and Benjamin Pierce, On binary methods, Theory and Practice of Object Systems. 1:(3):1995;221-242
5. Bruce, Kim B., The equivalence of two semantic definitions for inheritance in object-oriented languages, in: Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, and David Schmidt, editors, Mathematical Foundations of Programming Semantics, 7th International Conference, PA, USA, March 1991, Proceedings, Lecture Notes in Computer Science 598 (1992), Springer-Verlag, New York, N.Y., pp. 102-124.
6. Bruce Kim B., Wegner Peter. An algebraic model of subtype and inheritance. Bançilhon Francois, Buneman Peter. Advances in Database Programming Languages. August, 1990;75-96 Addison-Wesley, Reading, Mass
7. Luca Cardelli. A semantics of multiple inheritance, Information and Computation, 76 (2/3), 138-164. A revised version of the paper that appeared in the 1984 Semantics of Data Types Symposium, LNCS. 173:February/March 1988;51-66
8. Luca Cardelli, Wegner Peter. On understanding types, data abstraction and polymorphism. ACM Computing Surveys. 17:(4):December 1985;471-522
9. Giuseppe Castagna. "Object-Oriented Programming: A Unified Foundation," Progress in Theoretical Computer Science. Birkhauser, Boston. 1997
10. Castagna, Giuseppe, Giorgio Ghelli, and Giuseppe Longo, A calculus for overloaded functions with subtyping, Information and Computation 117(1) (February 1995), pp. 115-135
11. A preliminary version appeared in ACM Conference on LISP and Functional Programming, June 1992 (pp. 182-192).
12. Craig Chambers. Object-oriented multi-methods in Cecil. Madsen Ole Lehrmann. ECOOP'92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands. Lecture Notes in Computer Science. 615:1992;33-56 Springer-Verlag, New York, N.Y
13. Craig Chambers. The Cecil language specification and rationale: Version 2.0. Available from http://www.cs.Washington.edu/research/projects/cecil/www/ Papers/cecil-spec.html. December 1995
14. Craig Chambers, Leavens Gary T. Typechecking and modules for multi-methods. TOPLAS. 17:(6):November1995;805-843
15. Craig Chambers, Leavens Gary T. BeCecil, a core object-oriented language with block structure and multimethods: Semantics and typing. Technical ReportDepartment of Computer Science, Iowa State University, 226 Atanasoff Hall, Ames, Iowa. 50011:April 1997;96-17a. Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu. Also University of Washington Department of Computer Science and Engineering TR number UW-CSE-96-12-02
16. Cook, William and Jens Palsberg, A denotational semantics of inheritance and its correctness, in: Norman Meyerowitz, editor, OOPSLA'89 Conference Proceedings, New Orleans, Louisiana, A CM SIGPLAN Notices 24(10) (October 1989), pp. 433-443.
17. Cook William R. A denotational semantics of inheritance. Technical Report CS-89-33, Department of Computer Science, Brown University, Providence, Rhode Island. May 1989
18. Scott Danforth, Tomlinson Chris. Type theories and object-oriented programming, ACM Computing Surveys. 20(1)(. March 1988;29-72
19. Krishna Dhara Kishore, Leavens Gary T. Weak behavioral subtyping for types with mutable objects. Brookes S., Main M., Melton A., Mislove M. Mathematical Foundations of Programming Semantics, Eleventh Annual Conference, Electronic Notes in Theoretical Computer Science, Elsevier, http://www.elsevier. nl/lo-cate/entcs/volumel.html. 1:1995
20. Dony, Christophe, Jacques Malenfant, and Pierre Cointe, Prototype-based languages: From a taxonomy to constructive proposals and their validation, in: Andreas Paepcke, editor, OOPSLA'92 Proceedings, ACM SIGPLAN Notices 27(10) (October 1992), pp. 201-217.
21. Hartmut Ehrig, Mahr Bernd. "Fundamentals of Algebraic Specification 1: Equations and Initial Semantics", EATCS Monographs on Theoretical Computer Science 6. 1985;Springer-Verlag, New York, N.Y
22. Goguen J.A., Thatcher J.W., Wagner E.G. An initial algebra approach to the specification, correctness and implementation of abstract data types. Yeh Raymond T. Current Trends in Programming Methodology. 4:1978;80-149 Prentice-Hall, Inc, Englewood Cliffs, N.J
23. Goguen Joseph A., Meseguer Jose. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions, and partial operations. Technical Report SRI-CSL-89-10, Computer Science Laboratory, SRI International. July 1980
24. Goguen Joseph A., Meseguer Jose. Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, Symposium on Logic in Computer Science. Ithaca, NY. June 1987;18-29 IEEE Press
25. Adele Goldberg, Robson David. "Smalltalk-80, The Language and its Implementation" 1983;Addison-Wesley Publishing Co, Reading, Mass
26. James Gosling, Joy Bill, Steele Guy. "The Java Language Specification" The Java Series. 1996;Addison-Wesley, Reading, MA
27. Guttag J., Horning J.J. The algebraic specification of abstract data types. Acta Informatica. 10:(1):1978;27-52
28. Ingalls, Daniel H. H., A simple technique for handling multiple polymorphism. in: Norman Meyrowitz, editor, OOPSLA '86 Conference Proceedings, Portland, Oregon, ACM SIGPLAN Notices 21(11) (November 1986), pp. 347-349.
29. Samuel Kamin. Inheritance in smalltalk-80: A denotational definition, Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, Calif. ACM. January 1988;80-87
30. Leavens Gary T. Modular verification of object-oriented programs with subtypes. Technical Report 90-09, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu. July 1990
31. Leavens Gary T. Modular specification and verification of object-oriented programs, IEEE Software. 8(4) (July 1991;72-80
32. Leavens Gary T., Pigozzi Don. Typed homomorphic relations extended with subtypes. Brookes Stephen, Main Michael, Melton Austin, Mislove Michael, Schmidt David. Mathematical Foundations of Programming Semantics'91, Lecture Notes in Computer Science. 598:1992;144-167 Springer-Verlag, New York, N.Y
33. Leavens Gary T., Pigozzi Don. An exact algebraic characterization of behavioral subtyping. Technical Report 96-15, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu. November1996
34. Leavens Gary T., Pigozzi Don. The behavior-realization adjunction and generalized homomorphic relations. Theoretical Computer Science. 177:1997;183-216
35. Leavens, Gary T. and William E. Weihl, Reasoning about object-oriented programs that use subtypes (extended abstract), in: N. Meyrowitz, editor, 29 OOPSLA ECOOP'90 Proceedings, ACM SIGPLAN Notices 25(10) (October 1990), ACM, pp. 212-223.
36. Leavens Gary T., Weihl William E. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica. 32:(8):November1995;705-778
37. Leavens, Gary Todd, Verifying object-oriented programs that use subtypes, Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis.
38. Lieberman, Henry, Using prototypical objects to implement shared behavior in object oriented systems, in: Norman Meyrowitz, editor, OOPSLA'86 Conference Proceedings, Portland, Oregon, ACM SIGPLAN Notices 21(11) (November 1986), pp. 214-223.
39. MacQueen D.B. Ravi Sethi. A semantic model of types for applicative languages, ACM Symp. on LISP and Functional Programming. ACM. 1982;243-252
40. David MacQueen, Plotkin Gordon, Sethi Ravi. An ideal model for recursive polymorphic types, Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah. ACM. January 1984;165-174
41. David MacQueen, Plotkin Gordon, Sethi Ravi. An ideal model for recursive polymorphic types, Information and Control. 71:(1/2):Oct./Nov.1986;95-130
42. Narciso Marti-Oliet, Meseguer Jose. Inclusions and subtypes. Technical Report SRI-CSL-90-16, Computer Science Laboratory, SRI International, 333 Ravenswood Ave., Menlo Park, Calif. December 1990
43. Bertrand Meyer. "Object-oriented Software Construction," Prentice Hall, New York, N.Y., second edition. 1997
44. Mitchell, John C. Toward a typed foundation for method specialization and inheritance, Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, Calif. ACM. January 1990;109-124
45. Andreas Paepcke. "Object-Oriented Programming: The CLOS Perspective," 1993;The MIT Press
46. Reynolds, John C, Using category theory to design implicit conversions and generic operators, in: Neil D. Jones, editor, Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, Lecture Notes in Computer Science 94 (1980), Springer-Verlag, pp. 211-258.
47. Reynolds, John C, Three approaches to type structure, in: Hartmut Ehrig, Christiane Floyd, Maurice Nivat and James Thatcher, editors, Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), Lecture Notes in Computer Science 185 (1985), Springer-Verlag, New York, N.Y., pp. 97-138.
48. Schmidt David A. "Denotational Semantics: A Methodology for Language Development" 1986;Allyn and Bacon, Inc, Boston, Mass
49. Andrew Shalit. "The Dylan Reference Manual: The Definitive Guide to the New Object-Oriented Dynamic Language" 1997;Addison-Wesley, Reading, Mass
50. Smith Randall B., Ungar David. Programming as an experience: The inspiration for self. Olthoff Walter. ECOOP'95 - Object-Oriented Programming 9th European Conference, Aarhus, Denmark, Lecture Notes in Computer Science. 952:1995;303-330 Springer-Verlag, New York, N.Y
51. Bjarne Stroustrup. "The C++ Programming Language: Third Edition" 1997;Addison-Wesley Publishing Co, Reading, Mass
52. Ungar, David and Randall B. Smith, Self: The power of simplicity, in: Norman Meyrowitz, editor, OOPSLA '87 Conference Proceedings, Orlando, Florida, ACM SIGPLAN Notices 22(12) (December 1987), pp. 227-241.
53. Wadler, Philip and Stephen Blott, How to make adhoc polymorphism less ad hoc, Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, ACM, January 1989, pp. 60-76.