Author of the publication

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.

 

Other publications of authors with the same name

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)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)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)A comparison of concurrent programming and cooperative multithreading under load balancing applications., , , and . Concurr. Comput. Pract. Exp., 16 (4): 345-369 (2004)Application-specific thread schedulers for internet server applications., and . Concurr. Comput. Pract. Exp., 24 (3): 281-304 (2011)Reproducible execution of SR programs.. Concurr. Pract. Exp., 11 (9): 479-507 (1999)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)