[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
A denotational semantics of inheritance
Publisher:
  • Brown University
  • Department of Computer Science Box 1910 Providence, RI
  • United States
Order Number:AAI9002214
Pages:
117
Reflects downloads up to 14 Dec 2024Bibliometrics
Skip Abstract Section
Abstract

Abstract Not Available. <#>

Cited By

  1. ACM
    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)
  2. ACM
    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)
  3. ACM
    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)
  4. ACM
    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.
  5. ACM
    Kell S The operating system Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, (1-7)
  6. ACM
    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)
  7. ACM
    Schrijvers T and Oliveira B Monads, zippers and views Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, (32-44)
  8. ACM
    Schrijvers T and Oliveira B (2011). Monads, zippers and views, ACM SIGPLAN Notices, 46:9, (32-44), Online publication date: 18-Sep-2011.
  9. ACM
    Oliveira B, Schrijvers T and Cook W EffectiveAdvice Proceedings of the 9th International Conference on Aspect-Oriented Software Development, (109-120)
  10. ACM
    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)
  11. ACM
    Cook W (2009). On understanding data abstraction, revisited, ACM SIGPLAN Notices, 44:10, (557-572), Online publication date: 25-Oct-2009.
  12. ACM
    Cook W On understanding data abstraction, revisited Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (557-572)
  13. ACM
    Oliveira B and Gibbons J Scala for generic programmers Proceedings of the ACM SIGPLAN workshop on Generic programming, (25-36)
  14. ACM
    Cook W AppleScript Proceedings of the third ACM SIGPLAN conference on History of programming languages, (1-1-1-21)
  15. ACM
    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)
  16. ACM
    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)
  17. ACM
    Bergel A, Ducasse S and Nierstrasz O (2019). Classbox/J, ACM SIGPLAN Notices, 40:10, (177-189), Online publication date: 12-Oct-2005.
  18. ACM
    Kojarski S and Lorenz D (2019). Pluggable AOP, ACM SIGPLAN Notices, 40:10, (247-263), Online publication date: 12-Oct-2005.
  19. ACM
    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)
  20. ACM
    Goldberg D, Findler R and Flatt M (2004). Super and inner, ACM SIGPLAN Notices, 39:10, (116-129), Online publication date: 1-Oct-2004.
  21. 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)
  22. ACM
    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)
  23. ACM
    Glew N (2019). An efficient class and object encoding, ACM SIGPLAN Notices, 35:10, (311-324), Online publication date: 1-Oct-2000.
  24. ACM
    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)
  25. ACM
    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)
  26. ACM
    Hofmann M and Pierce B Positive subtyping Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (186-197)
  27. ACM
    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)
  28. ACM
    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)
  29. ACM
    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.
  30. ACM
    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.
  31. ACM
    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.
  32. ACM
    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)
  33. ACM
    Hauck F Inheritance modeled with explicit bindings Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (231-239)
  34. ACM
    Harrison W and Ossher H Subject-oriented programming Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (411-428)
  35. ACM
    Hauck F (1993). Inheritance modeled with explicit bindings, ACM SIGPLAN Notices, 28:10, (231-239), Online publication date: 1-Oct-1993.
  36. ACM
    Harrison W and Ossher H (1993). Subject-oriented programming, ACM SIGPLAN Notices, 28:10, (411-428), Online publication date: 1-Oct-1993.
  37. ACM
    Ossher H and Harrison W (2019). Combination of inheritance hierarchies, ACM SIGPLAN Notices, 27:10, (25-40), Online publication date: 31-Oct-1992.
  38. ACM
    Ossher H and Harrison W Combination of inheritance hierarchies Conference proceedings on Object-oriented programming systems, languages, and applications, (25-40)
  39. ACM
    Palsberg J and Schwartzbach M Object-oriented type inference Conference proceedings on Object-oriented programming systems, languages, and applications, (146-161)
  40. ACM
    Palsberg J and Schwartzbach M (2019). Object-oriented type inference, ACM SIGPLAN Notices, 26:11, (146-161), Online publication date: 1-Nov-1991.
  41. ACM
    Choi I and Mannino M (1991). Graph interpretation of methods, ACM SIGPLAN OOPS Messenger, 2:1, (38-54), Online publication date: 1-Jan-1991.
  42. ACM
    Humphrey S and Krovetz B (1990). Selected M-Related Dissertations Bibliography, ACM SIGART Bulletin, 1:3, (51-58), Online publication date: 1-Oct-1990.
  43. ACM
    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)
  44. ACM
    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)
  45. ACM
    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.
  46. ACM
    Bracha G and Cook W (2019). Mixin-based inheritance, ACM SIGPLAN Notices, 25:10, (303-311), Online publication date: 1-Oct-1990.
  47. ACM
    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)
  48. ACM
    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)
  49. ACM
    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.
  50. ACM
    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.
  51. ACM
    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)
  52. ACM
    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)
  53. ACM
    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)
Contributors
  • The University of Texas at Austin
Please enable JavaScript to view thecomments powered by Disqus.

Recommendations