Author of the publication

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

Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover., and . RTA, volume 1103 of Lecture Notes in Computer Science, page 420-423. Springer, (1996)WorkCrews: An abstraction for controlling parallelism., and . Int. J. Parallel Program., 17 (4): 347-366 (1988)Optimizing Programs with Partial Specifications.. Larch, page 262-281. Springer, (1992)Specifications Can Make Programs Run Faster.. TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 215-229. Springer, (1993)Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity., and . SIGSOFT FSE, page 121-127. ACM, (1994)Parallel User Interfaces for Parallel Applications., and . HPDC, page 161-170. IEEE Computer Society, (1996)