Andrew Heaton

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2000

2 Andrew Heaton, Patricia M. Hill, Andy King: Abstract Domains for Universal and Existential Properties. ESOP 2000: 150-164

1997

1 Andrew Heaton, Patricia M. Hill, Andy King: Analysis of Logic Programs with Delay. LOPSTR 1997: 148-167

	2000
2		Andrew Heaton, Patricia M. Hill, Andy King: Abstract Domains for Universal and Existential Properties. ESOP 2000: 150-164
	1997
1		Andrew Heaton, Patricia M. Hill, Andy King: Analysis of Logic Programs with Delay. LOPSTR 1997: 148-167

Coauthor Index