( en | de | ru )

 

Disambiguation of "Nelson, Greg"

Author of the publication

copydeleteadd this publication to your clipboard
PLDI 2002: Extended static checking for Java.

, , , , , and . ACM SIGPLAN Notices, 48 (4S): 22-33 (2013)

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

Active document versioning: from layout understanding to adjustment., , , and . DRR, volume 6067 of SPIE Proceedings, page 60670E. SPIE, (2006)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)Extended Static Checking for Java.. MPC, volume 3125 of Lecture Notes in Computer Science, page 1. Springer, (2004)Denali: A practical algorithm for generating optimal code., , and . ACM Trans. Program. Lang. Syst., 28 (6): 967-989 (2006)Verifying Reachability Invariants of Linked Structures.. POPL, page 38-47. ACM Press, (1983)Foundations of a Constraint-Based Illustrator.. FroCoS, volume 2309 of Lecture Notes in Computer Science, page 1. Springer, (2002)An Extended Static Checker for Modular-3., and . CC, volume 1383 of Lecture Notes in Computer Science, page 302-305. Springer, (1998)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)