( en | de | ru )

 

Disambiguation of "Nelson, Greg"

Author of the publication

copydeleteadd this publication to your clipboard
Denali: A Goal-directed Superoptimizer.

, , and . PLDI, page 304-314. ACM, (2002)

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.

Greg Breinholt

Greg Little

Greg Ross

Greg Kiss

Greg Foderaro

 

Other publications of authors with the same name

Verifying Reachability Invariants of Linked Structures.. POPL, page 38-47. ACM Press, (1983)An Extended Static Checker for Modular-3., and . CC, volume 1383 of Lecture Notes in Computer Science, page 302-305. Springer, (1998)Foundations of a Constraint-Based Illustrator.. FroCoS, volume 2309 of Lecture Notes in Computer Science, page 1. Springer, (2002)OOP in Languages Providing Strong, Static Typing (Panel)., , , , and . OOPSLA, page 87-91. ACM, (1992)SIGPLAN Notices 27(10).Denali: A Goal-directed Superoptimizer., , and . PLDI, page 304-314. ACM, (2002)Extended Static Checking for Java.. MPC, volume 3125 of Lecture Notes in Computer Science, page 1. Springer, (2004)Fast Decision Procedures Based on Congruence Closure., and . J. ACM, 27 (2): 356-364 (1980)Simplification by Cooperating Decision Procedures., and . ACM Trans. Program. Lang. Syst., 1 (2): 245-257 (1979)Active document versioning: from layout understanding to adjustment., , , and . DRR, volume 6067 of SPIE Proceedings, page 60670E. SPIE, (2006)Denali: A practical algorithm for generating optimal code., , and . ACM Trans. Program. Lang. Syst., 28 (6): 967-989 (2006)