Inheritance and Subtyping in a Parallel Object-Oriented Language-Reference-Cited by-同舟云学术

Inheritance and Subtyping in a Parallel Object-Oriented Language

Published:1987 Issue: Volume: Page:234-242
ISSN:0302-9743
Container-title:ECOOP’ 87 European Conference on Object-Oriented Programming
language:
Short-container-title:

Author:

America Pierre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-47891-4_22.pdf

Reference18 articles.

1. Lect Notes Comput Sci,1983

2. ESPRIT project;P. America,1985

3. Pierre America, Jaco de Bakker, Joost N. Kok, Jan Rutten: Operational semantics of a parallel object-oriented language. Conference Record of the 13th Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 13–15, 1986, pp. 194–208.

4. Pierre America: Object-oriented programming: a theoretician’s introduction. Bulletin of the European Association for Theoretical Computer Science, No. 29, June 1986, pp. 69–84.

5. Technical Report;D. G. Bobrow,1981

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

1. Incorporating measurement uncertainty into OCL/UML primitive datatypes;Software and Systems Modeling;2019-07-04

2. Expressing Measurement Uncertainty in OCL/UML Datatypes;Modelling Foundations and Applications;2018

3. An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping;Engineering Trustworthy Software Systems;2018

4. A Higher Abstraction Level Using First-Class Inheritance Relations;ECOOP 2007 – Object-Oriented Programming;2007

5. JML’s Rich, Inherited Specifications for Behavioral Subtypes;Formal Methods and Software Engineering;2006