Author:
Johnsen Einar Broch,Owe Olaf,Clarke Dave,Bjørk Joakim
Reference30 articles.
1. A type-safe model of adaptive object groups;Bjørk,2012
2. Featherweight Java: a minimal core calculus for Java and GJ;Igarashi;ACM Trans. Program. Lang. Syst.,2001
3. Type-based race detection for Java;Flanagan,2000
4. Welterweight Java;Östlund,2010
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A lightweight approach to smart contracts supporting safety, security, and privacy;Journal of Logical and Algebraic Methods in Programming;2022-06
2. Dynamic structural operational semantics;Journal of Logical and Algebraic Methods in Programming;2019-10
3. Dynamic Software Updates and Context Adaptation for Distributed Active Objects;Principled Software Development;2018
4. Multi-Threaded Actors;Electronic Proceedings in Theoretical Computer Science;2016-08-10
5. Bibliography;From Action Systems to Distributed Systems;2016-04-20