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

Book section

Smaus, J.G. and Hill, P. and King, A. (1999) Mode Analysis Domains for Typed Logic Programs. In: Bossi, A., 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

Smaus, J.G. and Hill, P.M. and King, A. (1998) Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using block Declarations. In: 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, J.G. and Hill, P.M. and King, A. (1998) Termination of Logic Programs with block Declarations Running in Several Modes. In: Palamidessi, C., 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

King, A. and Hill, P.M. and Smaus, J.G. (1998) Practical Dependency Analysis through a Share Quotient. In: International Symposium on Programming Languages: Implementations, Logics and Programs. Lecture Notes in Computer Science . Springer, pp. 182-196. ISBN 3-540-65012-1. (Full text available)
[img]
Preview

Conference or workshop item

Smaus, J.G. and Hill, P. and King, A. (1999) Preventing instantiation errors and loops for logic programs with multiple modes using block declarations. In: 8th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 98), Jun 15-19, 1998, Manchester, England. (Full text available)
[img]
Preview
[img]
Preview

King, A. and Smaus, J.G. and Hill, P. (1999) Quotienting share for dependency analysis. In: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, March 22-28, 1999, Amsterdam, Netherlands. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Sat Dec 14 10:03:52 2013 GMT.