Balloon types: Controlling sharing of state in data types-Reference-Cited by-同舟云学术

Balloon types: Controlling sharing of state in data types

Published:1997 Issue: Volume: Page:32-59
ISSN:0302-9743
Container-title:ECOOP'97 — Object-Oriented Programming
language:
Short-container-title:

Author:

Almeida Paulo Sérgio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0053373

Reference33 articles.

1. Gul Agha and Carl Hewitt. Actors: A conceptual foundation for concurrent object-oriented programming. In P. Wegner and B. Shriver, editors, Research Directions in Object-Oriented Programming, pages 49–74. MIT Press, 1987.

2. P. S. Almeida. Control of Object Sharing (provisional title). PhD thesis, University of London, Imperial College, Department of Computing, 1997. To appear.

3. G. E. Andrews. The theory of partitions. In Encyclopedia of Mathematics and its Applications, volume 2. Addison-Wesley, 1976.

4. K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley, 1996.

5. Franco Civello. Roles for composite objects in object-oriented analysis and design. Proceedings OOPSLA'93. SIGPLAN Notices, 28(10):376–393, October 1993.

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

1. Distributed Petri nets for model-driven verifiable robotic applications in ROS;Innovations in Systems and Software Engineering;2024-06-25

2. Functional Ownership through Fractional Uniqueness;Proceedings of the ACM on Programming Languages;2024-04-29

3. DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

4. Coeffects for sharing and mutation;Proceedings of the ACM on Programming Languages;2022-10-31

5. A flexible type system for fearless concurrency;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09