Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Book section
Number of items: 2.
Book section
Howe, Jacob M. and King, Andy (1999) Specialising Finite Domain Programs using Polyhedra. In: Bossi, Annalisa, ed. Lecture Notes In Computer Science. Lecture Notes in Computer Science, 1817 . Springer-Verlag, pp. 118-135. ISBN 978-3-540-67628-7. (Full text available) |
Smaus, Jan-Georg and Hill, Pat and King, Andy (1999) Mode Analysis Domains for Typed Logic Programs. In: Bossi, Annalisa, ed. Logic Programming, Synthesis and Transformation. Lecture Notes in Computer Science, 1817 . Springer-Verlag, pp. 82-101. ISBN 3-540-67628-7. (Full text available) |