Author:
Cenciarelli Pietro,Knapp Alexander,Reus Bernhard,Wirsing Martin
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer, NewYork, 1996.
2. Martín Abadi and K. Rustan M. Leino. A Logic of Object-Oriented Programs. In Michel Bidoit and Max Dauchet, editors, Proc. 7 th Int. Conf. Theory and Practice of Software, volume 1214 of Lect. Notes Comp. Sci., pages 682–696, Berlin, 1997. Springer.
3. Jim Alves-Foss, editor. Formal Syntax and Semantics of Java. Lect. Notes Comp. Sci. Springer, Berlin, 1998. This volume
4. Ken Arnold and James Gosling. The Java Programming Language. Addison-Wesley, Reading,Mass., 1996.
5. Egon Börger and Wolfram Schulte. A Programmer Friendly Modular Definition for the Semantics of Java. In Alves-Foss [3]. This volume.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification and Verification of Synchronization with Condition Variables;Communications in Computer and Information Science;2017
2. Semantics of WHILE;Undergraduate Topics in Computer Science;2016
3. Ode to the PST;Software, Services, and Systems;2015
4. A Homage to Martin Wirsing;Software, Services, and Systems;2015
5. An operational semantics for object-oriented concepts based on the class hierarchy;Formal Aspects of Computing;2014-05