PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "King, Andy"

Author of the publication

copydeleteadd this publication to your clipboard
Control Generation by Program Transformation.

, and . Fundam. Inform., 69 (1-2): 179-218 (2006)

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.

Dr. Andy Steinmann University of Stuttgart

Stefan King University of Stuttgart

Andy Hinkel University of Stuttgart

King Cho Wong University of Stuttgart

 

Other publications of authors with the same name

Inferring non-suspension conditions for logic programs with dynamic scheduling., and . ACM Trans. Comput. Log., 9 (3): 17:1-17:43 (2008)Inferring Congruence Equations Using SAT., and . CAV, volume 5123 of Lecture Notes in Computer Science, page 281-293. Springer, (2008)Preface: Functional and Logic Programming (FLOPS 2016)., and . Sci. Comput. Program., (2018)Inferring Argument Size Relationships with CLP(R)., and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 204-223. Springer, (1996)Partial Evaluation for Java Malware Detection., and . LOPSTR, volume 8981 of Lecture Notes in Computer Science, page 133-147. Springer, (2014)Mode Analysis Domains for Typed Logic Programs., , and . LOPSTR, volume 1817 of Lecture Notes in Computer Science, page 82-101. Springer, (1999)BinSlayer: accurate comparison of binary executables., , and . PPREW@POPL, page 4:1-4:10. ACM, (2013)Transfer Function Synthesis without Quantifier Elimination., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 97-115. Springer, (2011)Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling., and . ESOP, volume 2618 of Lecture Notes in Computer Science, page 84-98. Springer, (2003)Specialising Finite Domain Programs Using Polyhedra., and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 258-259. Springer, (1999)