| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon |
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051).  |
Dagstuhl Reports  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jael Kriener, Andy King |
RedAlert: Determinacy Inference for Prolog |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jael Kriener, Andy King |
RedAlert: Determinacy inference for Prolog. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King, Jael Kriener |
Existential Quantification as Incremental SAT. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King |
Approximate Quantifier Elimination for Propositional Boolean Formulae. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King |
Transfer Function Synthesis without Quantifier Elimination. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edd Barrett, Andy King |
Range and Set Abstraction using SAT. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King, Charles Lawrence-Jones |
Quadtrees as an Abstract Domain. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Simon, Andy King |
The two variable per inequality abstract domain. |
Higher-Order and Symbolic Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King, Stefan Kowalewski |
Range Analysis of Microcontroller Code Using Bit-Level Congruences. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
A Pearl on SAT Solving in Prolog. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King |
Automatic Abstraction for Intervals Using Boolean Formulae. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Harald Søndergaard |
Automatic Abstraction for Congruences. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King |
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Philip J. Charles, Jacob M. Howe, Andy King |
Integer Polyhedra for Program Analysis. |
AAIM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King |
Untangling Reverse Engineering with Logic and Abstraction. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Logahedra: A New Weakly Relational Domain. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Kettle, Andy King |
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Genaim, Andy King |
Inferring non-suspension conditions for logic programs with dynamic scheduling. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
concurrency, logic programming, debugging, Abstract interpretation |
| 1 | Andy King, Harald Søndergaard |
Inferring Congruence Equations Using SAT. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King (eds.) |
Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers |
LOPSTR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Axel Simon, Andy King |
Taming the Wrapping of Integer Arithmetic. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Jonathan C. Martin |
Control Generation by Program Transformation. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Kettle, Andy King, Tadeusz Strzemecki |
Widening ROBDDs with Prime Implicants. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
ROBDD, widening, approximation, abstract interpretation |
| 1 | Andy King, Lunjin Lu, Samir Genaim |
Detecting Determinacy in Prolog Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Li, Andy King, Lunjin Lu |
Collapsing Closures. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Kettle, Andy King |
An anytime symmetry detection algorithm for ROBDDs. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Li, Andy King, Lunjin Lu |
Lazy Set-Sharing Analysis. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Simon, Andy King |
Widening Polyhedra with Landmarks. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Benoy, Andy King, Frédéric Mesnard |
Computing convex hulls with a linear solver. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Simon, Andy King |
Exploiting Sparsity in Polyhedral Analysis. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Andy King |
Determinacy Inference for Logic Programs. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Simon, Andy King |
Convex Hull of Planar H-Polyhedra |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Axel Simon, Andy King |
Convex hull of planar h-polyhedra. |
Int. J. Comput. Math. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Andy King |
Backward Pair Sharing Analysis. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Pair-Sharing, Abstract interpretation, Backward analysis |
| 1 | Jonathan C. Martin, Andy King |
On the Inference of Natural Level Mappings. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King, Lunjin Lu |
Analysing Logic Programs by Reasoning Backwards. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Benoy, Andy King, Frédéric Mesnard |
Computing Convex Hulls with a Linear Solver |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Efficient Groundness Analysis in Prolog. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Three Optimisations for Sharing. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Lunjin Lu |
Forward versus Backward Verification of Logic Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Genaim, Andy King |
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Three Optimisations for Sharing |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Efficient Groundness Analysis in Prolog |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Andy King, Lunjin Lu |
A Backward Analysis for Constraint Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Andy King, Lunjin Lu |
A Backward Analysis for Constraint Logic Programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Simon, Andy King |
Analyzing String Buffers in C. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Andy King |
Backward Type Inference Generalises Type Checking. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Simon, Andy King, Jacob M. Howe |
Two Variables per Linear Inequality as an Abstract Domain. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Verifying Termination and Error-Freedom of Logic Programs with block Declarations. |
TPLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Positive Boolean Functions as Multiheaded Clauses. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
Boolean functions, interpretation, groundness analysis, (constraint) logic programs |
| 1 | Jacob M. Howe, Andy King |
Abstracting numeric constraints with Boolean functions. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King |
A simple polynomial groundness analysis for logic programs. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King |
Pair-sharing over rational trees. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Verifying Termination and Error-Freedom of Logic Programs with block Declarations |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Implementing Groundness Analysis with Definite Boolean Functions. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs |
| 1 | Andrew Heaton, Patricia M. Hill, Andy King |
Abstract Domains for Universal and Existential Properties. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kish Shen, Vítor Santos Costa, Andy King |
Distance: A New Metric for Controlling Granularity for Parallel Execution. |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Specialising Finite Domain Programs Using Polyhedra. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Mode Analysis Domains for Typed Logic Programs. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Specialising Fininte Domain Programs Using Polyhedra. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Jan-Georg Smaus, Patricia M. Hill |
Quotienting Share for Dependency Analysis. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs |
| 1 | Kish Shen, Vítor Santos Costa, Andy King |
Distance: A New Metric for Controlling Granularity for Parallel Execution. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Termination of Logic Programs with block Declarations Running in Several Modes. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Andy King |
Determinacy and determinacy analysis. |
J. Prog. Lang. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jonathan C. Martin, Andy King |
Generating Efficient, Terminating Logic Programs. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Domain Construction for Mode Analysis of Typed Logic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andy King, Kish Shen, Florence Benoy |
Lower-bound Time-complexity Analysis of Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andrew Heaton, Patricia M. Hill, Andy King |
Analysis of Logic Programs with Delay. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan C. Martin, Andy King, Paul Soper |
Typed Norms for Typed Logic Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Benoy, Andy King |
Inferring Argument Size Relationships with CLP(R). |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Paul Soper |
Depth-k Sharing and Freeness. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andy King |
A Synergistic Analysis for Sharing and Groundness with Traces Linearity. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King |
A Framework for Sharing Analysis. |
ICLP-Workshops on Implementation of Logic Programming Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Andy King, Paul Soper |
Ordering Optimizations for Concurrent Logic Programs. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Paul Soper |
Serialisation Analysis of Concurrent Logic Programs. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Paul Soper |
Schedule Analysis of Concurrent Logic programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Andy King, Paul Soper |
Reducing Scheduling Overheads for Concurrent Logic Programs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Paul Soper |
Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")