Author of the publication

Formal Derivation of Concurrent Garbage Collectors.

, , and . MPC, volume 6120 of Lecture Notes in Computer Science, page 353-376. Springer, (2010)

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

Synthesis of Constraint Algorithms.. PPCP, page 278-283. (1993)Scheduling an Asynchronously Shared Resource., and . CP, volume 1118 of Lecture Notes in Computer Science, page 563-564. Springer, (1996)Tactical Synthesis of Efficient Global Search Algorithms., , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 171-175. (2009)Machine Support for Software Development (Abstract).. ICSE, page 167-168. IEEE Computer Society, (1996)09501 Abstracts Collection - Software Synthesis., , , and . Software Synthesis, volume 09501 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Derivational software engineering., and . FoSER, page 355-358. ACM, (2010)Comprehension by Derivation.. IWPC, page 3-9. IEEE Computer Society, (2005)Towards the Synthesis of Constraint Propagation Algorithms.. LOPSTR, page 1-9. Springer, (1993)Invited Paper.Software synthesis and applications (abstract only).. FMSP, page 73. ACM, (2000)Automating the Design of Algorithm.. Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 324-354. Springer, (1993)