( en | de | ru )

 

Disambiguation of "Pugh, William W."

Author of the publication

copydeleteadd this publication to your clipboard
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems.

, and . POPL, page 269-280. ACM Press, (1992)

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.

William W McCorkle

William W Emilsen

Matthew Pugh

Keith Pugh

Anette Kugelmüller-Pugh

 

Other publications of authors with the same name

Broadband access: comparing alternatives., and . IEEE Commun. Mag., 33 (8): 34-46 (1995)Selecting Affine Mappings Based on Performance Estimation., and . Parallel Process. Lett., (1994)Parallel finite automata for modeling concurrent software systems., and . J. Syst. Softw., 27 (1): 27-43 (1994)Incremental Computation and the Incremental Evaluation of Functional Programs.. Cornell University, USA, (1988)Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 400-411. Springer, (1997)Experiences with Constraint-based Array Dependence Analysis., and . PPCP, volume 874 of Lecture Notes in Computer Science, page 312-325. Springer, (1994)An Exact Method for Analysis of Value-based Array Data Dependences., and . LCPC, volume 768 of Lecture Notes in Computer Science, page 546-566. Springer, (1993)A Practical Algorithm for Exact Array Dependence Analysis.. Commun. ACM, 35 (8): 102-114 (1992)Definitions of Dependence Distance.. LOPLAS, 1 (3): 261-265 (1992)Helping students appreciate test-driven development (TDD)., and . OOPSLA Companion, page 907-913. ACM, (2006)