A denotational semantics of inheritance
- Author:
- William R. Cook
Skip Abstract Section
Abstract
Abstract Not Available. <#>
Cited By
Knoble D and Popa B Functional Shell and Reusable Components for Easy GUIs Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, (20-28)- Zhang H, Li H and Oliveira B Type-safe modular parsing Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, (2-13)
- Delaware B, d. S. Oliveira B and Schrijvers T Meta-theory à la carte Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (207-218)
- Delaware B, d. S. Oliveira B and Schrijvers T (2013). Meta-theory à la carte, ACM SIGPLAN Notices, 48:1, (207-218), Online publication date: 23-Jan-2013.
- Kell S The operating system Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, (1-7)
- Welsch Y and Poetzsch-Heffter A Verifying backwards compatibility of object-oriented libraries using Boogie Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, (35-41)
- Schrijvers T and Oliveira B Monads, zippers and views Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, (32-44)
- Schrijvers T and Oliveira B (2011). Monads, zippers and views, ACM SIGPLAN Notices, 46:9, (32-44), Online publication date: 18-Sep-2011.
- Oliveira B, Schrijvers T and Cook W EffectiveAdvice Proceedings of the 9th International Conference on Aspect-Oriented Software Development, (109-120)
- Wang M and Oliveira B What does aspect-oriented programming mean for functional programmers? Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, (37-48)
- Cook W (2009). On understanding data abstraction, revisited, ACM SIGPLAN Notices, 44:10, (557-572), Online publication date: 25-Oct-2009.
- Cook W On understanding data abstraction, revisited Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (557-572)
- Oliveira B and Gibbons J Scala for generic programmers Proceedings of the ACM SIGPLAN workshop on Generic programming, (25-36)
- Cook W AppleScript Proceedings of the third ACM SIGPLAN conference on History of programming languages, (1-1-1-21)
- Bergel A, Ducasse S and Nierstrasz O Classbox/J Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (177-189)
- Kojarski S and Lorenz D Pluggable AOP Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (247-263)
- Bergel A, Ducasse S and Nierstrasz O (2019). Classbox/J, ACM SIGPLAN Notices, 40:10, (177-189), Online publication date: 12-Oct-2005.
- Kojarski S and Lorenz D (2019). Pluggable AOP, ACM SIGPLAN Notices, 40:10, (247-263), Online publication date: 12-Oct-2005.
- Goldberg D, Findler R and Flatt M Super and inner Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (116-129)
- Goldberg D, Findler R and Flatt M (2004). Super and inner, ACM SIGPLAN Notices, 39:10, (116-129), Online publication date: 1-Oct-2004.
- Ancona D, Fagorzi S, Moggi E and Zucca E Mixin modules and computational effects Proceedings of the 30th international conference on Automata, languages and programming, (224-238)
- Glew N An efficient class and object encoding Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (311-324)
- Glew N (2019). An efficient class and object encoding, ACM SIGPLAN Notices, 35:10, (311-324), Online publication date: 1-Oct-2000.
- Flatt M, Krishnamurthi S and Felleisen M Classes and mixins Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (171-183)
- Abadi M, Cardelli L and Viswanathan R An interpretation of objects and object types Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (396-409)
- Hofmann M and Pierce B Positive subtyping Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (186-197)
- Armour F, Cotton T, Hambrick G, Moo B and Mancl D Tailoring OO analysis and design methods (panel) Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, (185-186)
- Ossher H, Kaplan M, Harrison W, Katz A and Kruskal V Subject-oriented composition rules Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, (235-250)
- Armour F, Cotton T, Hambrick G, Moo B and Mancl D (2019). Tailoring OO analysis and design methods (panel), ACM SIGPLAN Notices, 30:10, (185-186), Online publication date: 17-Oct-1995.
- Ossher H, Kaplan M, Harrison W, Katz A and Kruskal V (1995). Subject-oriented composition rules, ACM SIGPLAN Notices, 30:10, (235-250), Online publication date: 17-Oct-1995.
- Taivalsaari A (1995). Delegation versus concatenation or cloning is inheritance too, ACM SIGPLAN OOPS Messenger, 6:3, (20-49), Online publication date: 1-Jul-1995.
- Pierce B and Turner D Object-oriented programming without recursive types Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (299-312)
- Hauck F Inheritance modeled with explicit bindings Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (231-239)
- Harrison W and Ossher H Subject-oriented programming Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (411-428)
- Hauck F (1993). Inheritance modeled with explicit bindings, ACM SIGPLAN Notices, 28:10, (231-239), Online publication date: 1-Oct-1993.
- Harrison W and Ossher H (1993). Subject-oriented programming, ACM SIGPLAN Notices, 28:10, (411-428), Online publication date: 1-Oct-1993.
- Ossher H and Harrison W (2019). Combination of inheritance hierarchies, ACM SIGPLAN Notices, 27:10, (25-40), Online publication date: 31-Oct-1992.
- Ossher H and Harrison W Combination of inheritance hierarchies Conference proceedings on Object-oriented programming systems, languages, and applications, (25-40)
- Palsberg J and Schwartzbach M Object-oriented type inference Conference proceedings on Object-oriented programming systems, languages, and applications, (146-161)
- Palsberg J and Schwartzbach M (2019). Object-oriented type inference, ACM SIGPLAN Notices, 26:11, (146-161), Online publication date: 1-Nov-1991.
- Choi I and Mannino M (1991). Graph interpretation of methods, ACM SIGPLAN OOPS Messenger, 2:1, (38-54), Online publication date: 1-Jan-1991.
- Humphrey S and Krovetz B (1990). Selected M-Related Dissertations Bibliography, ACM SIGART Bulletin, 1:3, (51-58), Online publication date: 1-Oct-1990.
- Palsberg J and Schwartzbach M Type substitution for object-oriented programming Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (151-160)
- Bracha G and Cook W Mixin-based inheritance Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (303-311)
- Palsberg J and Schwartzbach M (2019). Type substitution for object-oriented programming, ACM SIGPLAN Notices, 25:10, (151-160), Online publication date: 1-Oct-1990.
- Bracha G and Cook W (2019). Mixin-based inheritance, ACM SIGPLAN Notices, 25:10, (303-311), Online publication date: 1-Oct-1990.
- Cook W and Palsberg J A denotational semantics of inheritance and its correctness Conference proceedings on Object-oriented programming systems, languages and applications, (433-443)
- Canning P, Cook W, Hill W and Olthoff W Interfaces for strongly-typed object-oriented programming Conference proceedings on Object-oriented programming systems, languages and applications, (457-467)
- Cook W and Palsberg J (2019). A denotational semantics of inheritance and its correctness, ACM SIGPLAN Notices, 24:10, (433-443), Online publication date: 1-Oct-1989.
- Canning P, Cook W, Hill W and Olthoff W (2019). Interfaces for strongly-typed object-oriented programming, ACM SIGPLAN Notices, 24:10, (457-467), Online publication date: 1-Oct-1989.
- Mitchell J Toward a typed foundation for method specialization and inheritance Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (109-124)
- Cook W, Hill W and Canning P Inheritance is not subtyping Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (125-135)
- Canning P, Cook W, Hill W, Olthoff W and Mitchell J F-bounded polymorphism for object-oriented programming Proceedings of the fourth international conference on Functional programming languages and computer architecture, (273-280)
Recommendations
A Denotational Semantics for Circus
Circus specifications define both data and behavioural aspects of systems using a combination of Z and CSP. Previously, a denotational semantics has been given to Circus; however, as a shallow embedding of Circus in Z, it was not possible to use it to ...
A denotational semantics of inheritance and its correctness
Special issue: Proceedings of the 1989 ACM OOPSLA conference on object-oriented programmingThis paper presents a denotational model of inheritance. The model is based on an intuitive motivation of the purpose of inheritance. The correctness of the model is demonstrated by proving it equivalent to an operational semantics of inheritance based ...