A step toward automatic distribution of Java programs
作者： Isabelle Attali , Denis Caromel , Romain Guider
DOI: 10.1007/978-0-387-35520-7_7
关键词: Protocol (object-oriented programming) 、 Computer science 、 Distributed object 、 Java concurrency 、 Real time Java 、 Programming language 、 Java annotation 、 Program analysis 、 Java 、 Generics in Java
摘要: This article investigates the automatic distribution and parallelization of object-oriented programs. We formally define a set properties that allow to turn standard objects into active be distributed on network (local or wide area).
springer.com
core.ac.uk
sci-hub.st 参考文章(33)
Paulo Sérgio Almeida, Balloon types : Controlling sharing of state in data types european conference on object-oriented programming. pp. 32- 59 ,(1997) , 10.1007/BFB0053373
Mario Tokoro, Kazunori Takashio, Toward Languages and Formal Systems for Distributed Computing european conference on object-oriented programming. pp. 93- 110 ,(1993) , 10.1007/BFB0017536
Xinxin Liu, David Walker, Confluence of Processes and Systems of Objects colloquium on trees in algebra and programming. pp. 217- 231 ,(1995) , 10.1007/3-540-59293-8_197
Utpal K. Banerjee, Dependence analysis for supercomputing ,(1988)
Denis Caromel, Concurrency and reusability: from sequential to parallel Journal of Object-oriented Programming. ,vol. 3, pp. 34- 42 ,(1990)
Isabelle Attali, Denis Caromel, Sylvain Lippi, From a Specification to an Equivalence Proof in Object-Oriented Parallelism international parallel processing symposium. pp. 1197- 1214 ,(1999) , 10.1007/BFB0098003
Vincent A. Guarna, A Technique for Analyzing Pointer and Structure References In Parallel Restructuring Compilers. international conference on parallel processing. pp. 212- 220 ,(1988)
Steve J. Hodges, Cliff B. Jones, Non-interference properties of a concurrent object-based language: proofs based on operational semantics Object orientation with parallelism and persistence. pp. 1- 22 ,(1996) , 10.1007/978-1-4613-1437-0_1
Pierre America, Inheritance and Subtyping in a Parallel Object-Oriented Language european conference on object oriented programming. ,vol. 276, pp. 234- 242 ,(1987) , 10.1007/3-540-47891-4_22
Bill Joy, Guy Steele, James Gosling, Gilad Bracha, None, The Java Language Specification ,(1996)