An algebraic model of sybtypes in object-oriented languages (draft)-Reference-Cited by-同舟云学术

An algebraic model of sybtypes in object-oriented languages (draft)

Published:1986-10 Issue:10 Volume:21 Page:163-172
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Bruce Kim B.¹,Wegner Peter²

Affiliation:

1. Williams College, Williamstown, Mass.

2. Brown University, Providence, Rhode Island

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Reference13 articles.

1. Amadio R. K. Bruce and G. Longo {1986} "The finitary projection model for second order lambda calculus and solutions to higher order domain equations " to appear Proceeding of the first Logic in Computer Science Conference Cambridge MA. Amadio R. K. Bruce and G. Longo {1986} "The finitary projection model for second order lambda calculus and solutions to higher order domain equations " to appear Proceeding of the first Logic in Computer Science Conference Cambridge MA.

2. Bruce K. Meyer A. {1984} "The semantics of second order polymorphic lambda-calculus " Symposium on Semantics of Data Types (Kahn MacQueen Plotkin eds.) LNCS 173 Springer-Verlag (pp. 131-144). Bruce K. Meyer A. {1984} "The semantics of second order polymorphic lambda-calculus " Symposium on Semantics of Data Types (Kahn MacQueen Plotkin eds.) LNCS 173 Springer-Verlag (pp. 131-144).

3. Bruce K. Meyer A. Mitchell J. {1985} "The semantics of second order lambda-caleulus " preprint. Bruce K. Meyer A. Mitchell J. {1985} "The semantics of second order lambda-caleulus " preprint.

4. }, "A Semantics of Multiple Inheritance;Cardelli;Symposium on the Semantics of Data Types (Kahn, MacQueen, Plotkin, eds.), LNCS 173,1984

5. Cardelli Luca and Peter Wegner {1986} "On understanding types data abstraction and polymorphism " to appear in Computing Surveys summer 1986. 10.1145/6041.6042 Cardelli Luca and Peter Wegner {1986} "On understanding types data abstraction and polymorphism " to appear in Computing Surveys summer 1986. 10.1145/6041.6042

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An oversampling approach for mining program specifications;Frontiers of Information Technology & Electronic Engineering;2018-06

2. Behavioral Subtyping, Specification Inheritance, and Modular Reasoning;ACM Transactions on Programming Languages and Systems;2015-08-13

3. SAOOSS;ACM SIGPLAN OOPS Messenger;1995-01-11

4. Specifications and their use in defining subtypes;ACM SIGPLAN Notices;1993-10

5. Second-order signature;ACM SIGMOD Record;1993-06