A graph-based generic type system for object-oriented programs-Reference-Cited by-同舟云学术

A graph-based generic type system for object-oriented programs

Published:2013-01-09 Issue:1 Volume:7 Page:109-134
ISSN:2095-2228
Container-title:Frontiers of Computer Science
language:en
Short-container-title:Front. Comput. Sci.

Author:

Ke Wei,Liu Zhiming,Wang Shuling,Zhao Liang

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s11704-012-1307-8.pdf

Reference26 articles.

1. Gosling J, Joy B, Steele G, Bracha G. Java Language Specification: The Java Series. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 2000

2. OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2, 2007. Object Management Group

3. LNCS;C A R Hoare,1999

4. Jifeng H, Li X, Liu Z. rCOS: a refinement calculus of object systems. Theoretical Computer Science, 2006, 365(1): 109–142

5. Klein G, Nipkow T. A machine-checked model for a Java-like language, virtual machine, and compiler. ACM Transactions on Programming Languages and Systems, 2006, 28(4): 619–695

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

1. Formal Aspects of Component Software;Lecture Notes in Computer Science;2024

2. A Subtyping Scheme for Nominal and Structural Types Based on Class Graph Equivalence;2021 4th International Conference on Blockchain Technology and Applications;2021-12-17

3. Pattern Matching Based on Object Graphs;IEEE Access;2021

4. MSVL: a typed language for temporal logic programming;Frontiers of Computer Science;2017-05-25

5. Hierarchical regression test case selection using slicing;International Journal of Computational Science and Engineering;2017