PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hill, Patricia M."

Author of the publication

copydeleteadd this publication to your clipboard
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages.

, , , and . CoRR, (2016)

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.

Patricia Sonnenberg University of Stuttgart

Patricia Pauli University of Stuttgart

Patricia Legner University of Stuttgart

PD Dr. phil. Roman Hillmann University of Stuttgart

Marco Hillebrand University of Stuttgart

 

Other publications of authors with the same name

Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness., , and . Formal Methods in System Design, 35 (3): 279-323 (2009)The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems., , and . Sci. Comput. Program., 72 (1-2): 3-21 (2008)Finite-tree analysis for constraint logic-based languages., , , and . Inf. Comput., 193 (2): 84-116 (2004)Special Issue on Logical Formalisms for Program Composition - Editorial., and . Journal of Functional and Logic Programming, (2000)Verifying Termination and Error-Freedom of Logic Programs with block Declarations, , and . CoRR, (2000)Soundness, Idempotence and Commutativity of Set-Sharing, , and . CoRR, (2001)Verifying Termination and Error-Freedom of Logic Programs with block Declarations., , and . TPLP, 1 (4): 447-486 (2001)Analysis of Downward Closed Properties of Logic Programs., and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 181-196. Springer, (2000)Abstract Domains for Universal and Existential Properties., , and . ESOP, volume 1782 of Lecture Notes in Computer Science, page 150-164. Springer, (2000)Enhanced sharing analysis techniques: a comprehensive evaluation., , and . PPDP, page 103-114. ACM, (2000)