( en | de | ru )

 

Disambiguation of "Olsson, Ronald A."

Author of the publication

copydeleteadd this publication to your clipboard
An attribute grammar approach to compiler optimization of intra-module interprocess communication.

, and . Int. J. Parallel Program., 20 (3): 181-202 (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

°Asa Olsson

Ronald A Perren

Ronald A Fullerton

Urban Olsson

Ina Olsson

 

Other publications of authors with the same name

JR: Flexible distributed programming in an extended Java., , , and . ACM Trans. Program. Lang. Syst., 26 (3): 578-608 (2004)Towards Applying the Composition Principle to Verify a Microkernel Operating System., , , , , and . TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 235-250. Springer, (1996)Parallelism, distribution, and synchronization in SR.. Compcon, page 407-412. IEEE Computer Society, (1991)Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL., , , , , , and . HUG, volume 780 of Lecture Notes in Computer Science, page 29-42. Springer, (1993)Towards Microkernel Support for the SR Concurrent Programming Language., and . PDPTA, page 1513-1524. CSREA Press, (1996)DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems., , and . Comput. Lang. Syst. Struct., 29 (4): 75-100 (2003)Generic operations and capabilities in the JR concurrent programming language., , , , , and . Comput. Lang. Syst. Struct., 35 (3): 293-305 (2009)Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness., and . Inf. Sci., 106 (3-4): 259-275 (1998)Tools for teaching CCRs, monitors, and CSP concurrent programming concepts., and . ACM SIGCSE Bull., 27 (2): 31-40 (1995)Observations on Building Distributed Languages and Systems., , , , and . Experiences with Distributed Systems, volume 309 of Lecture Notes in Computer Science, page 271-291. Springer, (1987)