( 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

Towards Microkernel Support for the SR Concurrent Programming Language., and . PDPTA, page 1513-1524. CSREA Press, (1996)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)Dalek: A GNU, Improved Programmable Debugger., , and . USENIX Summer, page 221-232. USENIX Association, (1990)Static Inter-Module Analysis for Determining Processor Co-Residency., and . ICPP (2), page 200-207. CRC Press, (1992)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)Additional transformations for multiple-level escape statements.. Softw. Test. Verification Reliab., 12 (2): 71-76 (2002)Towards a Transformational Approach to Program Verification., , and . Softw. Test. Verification Reliab., 9 (2): 85-106 (1999)A Simple Technique for Automatic Recompilation in Modular Programming Languages., and . Softw. Pract. Exp., 19 (8): 757-773 (1989)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)