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
Number of items: 11.

Article

Genaim, S. and King, A. (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. Acm Transactions on Computational Logic, 9 (3). pp. 182-196. ISSN 1529-3785. (Full text available)
[img]
Preview

Mortier, A.M.J. and Serjeant, S. and Dunlop, J.S. and Scott, S.E. and Ade, P. and Alexander, D. and Almaini, O. and Aretxaga, I. and Baugh, C. and Benson, A.J. and Best, P.N. and Blain, A. and Bock, J. and Borys, C. and Bressan, A. and Carilli, C. and Chapin, E.L. and Chapman, S. and Clements, D.L. and Coppin, K. and Crawford, M. and Devlin, M. and Dicker, S. and Dunne, L. and Eales, S.A. and Edge, A.C. and Farrah, D. and Fox, M. and Frenk, C. and Gaztanaga, E. and Gear, W.K. and Gonzales-Solares, E. and Granato, G.L. and Greve, T.R. and Grimes, J.A. and Gundersen, J. and Halpern, M. and Hargrave, P. and Hughes, D.H. and Ivison, R.J. and Jarvis, M.J. and Jenness, T. and Jimenez, R. and van Kampen, E. and King, A. and Lacey, C. and Lawrence, A. and Lepage, K. and Mann, R.G. and Marsden, G. and Mauskopf, P. and Netterfield, B. and Oliver, S. and Olmi, L. and Page, M.J. and Peacock, J.A. and Pearson, C.P. and Percival, W.J. and Pope, A. and Priddey, R.S. and Rawlings, S. and Roche, N. and Robinson, M.R. and Scott, D. and Sekiguchi, K. and Seigar, M. and Silva, L. and Simpson, C. and Smail, I. and Stevens, J.A. and Takagi, T. and Tucker, G. and Vlahakis, C. and Waddington, I. and Wagg, J. and Watson, M. and Willott, C. and Vaccari, M. (2005) The SCUBA half-degree extragalactic survey - I. Survey motivation, design and data processing. Monthly Notices of the Royal Astronomical Society, 363 (2). pp. 563-580. ISSN 0035-8711. (The full text of this publication is not available from this repository)

Hutchings, A. and Allen, P. and Fulop, N. and King, A. and Protopsaltis, G. and Normand, C. and Walters, R. (2003) The process and impact of trust mergers in the National Health Service: A financial perspective. Public Money & Management, 23 (2). pp. 103-112. ISSN 0954-0962 . (The full text of this publication is not available from this repository)

Howe, J.M. and King, A. (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (Full text available)
[img]
Preview
[img]

Book section

Lu, L. and King, A. (2002) Backward Type Inference Generalises Type Checking. In: Hermenegildo, M. and Puebla, G., eds. Static Analysis Symposium. Lecture Notes in Computer Science, 2477 . Springer-Verlag, Berlin, pp. 85-101. ISBN 978-3-540-44235-6. (Full text available)
[img]
Preview

Simon, A. and King, A. (2002) Analyzing String Buffers in C. In: Kirchner, H. and Ringeissen, C., eds. International Conference on Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, 2422 . Springer, pp. 365-379. ISBN 3-540-44144-1. (Full text available)
[img]
Preview

Howe, J.M. and King, A. (1999) Specialising Finite Domain Programs using Polyhedra. In: Bossi, A., 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)
[img]
Preview

Book

Chamberlayne, P. and King, A. (2000) Cultures of care: Biographies of carers in Britain and the two Germanies. The Policy Press, Bristol, 240 pp. ISBN 9781861341808. (The full text of this publication is not available from this repository)

Research report (external)

Heaton, A. and King, A. (2000) Abstracting Builtins for Groundness Analysis. University of Kent, School of Computing, Computing Laboratory, 8 pp. (Full text available)
[img]
Preview

Howe, J.M. and King, A. (1999) A Semantic Basis for Specialising Domain Constraints. University of Kent, School of Computing, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK, 12 pp. (Full text available)
[img]
Preview

Benoy, F. and King, A. (1999) An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions. University of Kent, School of Computing, University of Kent, 21 pp. (Full text available)
[img]
Preview

This list was generated on Wed Apr 16 14:15:06 2014 BST.