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: 10.

Article

Smaus, Jan-Georg and Hill, Pat and King, Andy (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684. (Full text available)
[img]
Preview

Book section

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)
[img]
Preview

King, Andy and Smaus, Jan-Georg and Hill, Pat (1999) Quotienting Share for Dependency Analysis. In: Swierstra, Doaitse, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1576 . Springer, pp. 59-73. ISBN 9783540656999. (Full text available)
[img]
Preview

Smaus, Jan-Georg and Hill, Pat and King, Andy (1998) Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using block Declarations. In: Flener, Pierre, ed. Logic Programming, Synthesis and Transformation. Lecture Notes in Computer Science, 1559 . Springer, pp. 182-196. ISBN 3-540-65765-7. (Full text available)
[img]
Preview

Smaus, Jan-Georg and Hill, Pat and King, Andy (1998) Termination of Logic Programs with block Declarations Running in Several Modes. In: Palamidessi, Catuscia, ed. International Symposium on Programming Languages: Implementations, Logics and Programs. Lecture Notes in Computer Science, 1490 . Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html, pp. 182-196. ISBN 3-540-65012-1 . (Full text available)
[img]
Preview

Monograph

Smaus, Jan-Georg (1999) Proving Termination of Input-Consuming Logic Programs. Technical report. , Kent, CT2 7NF, UK (Full text available)
[img]
Preview
[img]
Preview

Smaus, Jan-Georg (1998) Well-Terminating, Input-Driven Logic Programs. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Smaus, Jan-Georg (1999) Proving Termination of Input-Consuming Logic Programs. In: De Schreye, Danny, ed. Logic Programming: Proceedings of the 1999 International Conference on Logic Programming. Logic Programming. MIT Press pp. 335-349. ISBN 0-262-54104-1. (Full text available)
[img]
Preview
[img]
Preview

Thesis

Smaus, Jan-Georg (1999) Modes and Types in Logic Programming. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (Full text available)
[img]
Preview
[img]
Preview

Smaus, Jan-Georg (1996) Resolution K-Transformations. Other masters thesis, Universitaet des Saarlandes (Max-Planck-Institut fuer Informatik). (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Sat Oct 25 02:19:04 2014 BST.