Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article | Conference or workshop item
Number of items: 2.

Article

Howe, J.M. and King, A. (2000) Implementing groundness analysis with definite Boolean functions. Lecture Notes in Computer Science, 1782 . pp. 200-214. ISSN 0302-9743.
[img] [img]
Preview

Conference or workshop item

Heaton, A. and Hill, P.M. and King, A. (2000) Abstract domains for universal and existential properties. In: Smolka, G., ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1782. Springer-Verlag Berlin pp. 150-164. ISBN 3-540-67262-1.
[img]
Preview
[img]
Preview

This list was generated on Sun May 19 05:29:19 2013 BST.
University of Kent | About this repository | Feedback | Latest additions