Author of the publication

Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.

, , , and . LCPC, volume 5335 of Lecture Notes in Computer Science, page 94-108. Springer, (2008)

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

Semi-Unification., , , and . Theor. Comput. Sci., 81 (2): 169-187 (1991)Sufficient-Completeness, Ground-Reducibility and their Complexity., , , and . Acta Informatica, 28 (4): 311-350 (1991)Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols., and . J. Autom. Reason., 66 (3): 301-329 (2022)Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation., and . J. Symb. Comput., 36 (3-4): 289-315 (2003)Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS., , and . CoRR, (2020)A Transformational Methodology for Proving Termination of Logic Programs., , and . CSL, volume 626 of Lecture Notes in Computer Science, page 213-226. Springer, (1991)Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis., , , , , , , , , and . CADE, volume 7898 of Lecture Notes in Computer Science, page 231-248. Springer, (2013)IBDL: A Language for Interface Behavior Specification and Testing., and . COOTS, page 235-248. USENIX, (1998)Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation., , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 301-318. (2017)Operators and algebraic structures., , and . FPCA, page 59-64. ACM, (1981)