( en | de | ru )

 

Disambiguation of "Nelson, Greg"

Author of the publication

copydeleteadd this publication to your clipboard
Extended Static Checking for Java.

, , , , , and . PLDI, page 234-245. 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

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)PLDI 2002: Extended static checking for Java., , , , , and . ACM SIGPLAN Notices, 48 (4S): 22-33 (2013)A Generalization of Dijkstra's Calculus.. ACM Trans. Program. Lang. Syst., 11 (4): 517-561 (1989)On the fault tolerance of the butterfly., , and . STOC, page 125-133. ACM, (1994)Fast Decision Algorithms Based on Union and Find, and . FOCS, page 114-119. IEEE Computer Society, (1977)Verifying Reachability Invariants of Linked Structures.. POPL, page 38-47. ACM Press, (1983)