ACM DL

Computational Logic (TOCL)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computational Logic (TOCL), Volume 4 Issue 1, January 2003

The marriage of effects and monads
Philip Wadler, Peter Thiemann
Pages: 1-32
DOI: 10.1145/601775.601776
Gifford and others proposed an effect typing discipline to delimit the scope of computational effects within a program, while Moggi and others proposed monads for much the same purpose. Here we marry effects to monads, uniting two...

Deciding the confluence of ordered term rewrite systems
Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michael Rusinowitch
Pages: 33-55
DOI: 10.1145/601775.601777
replace me

Resource-distribution via Boolean constraints
James Harland, David Pym
Pages: 56-90
DOI: 10.1145/601775.601778
We consider the problem of searching for proofs in sequential presentations of logics with multiplicative (or intensional) connectives. Specifically, we start with the multiplicative fragment of linear logic and extend, on the one hand, to linear...

Fixed-parameter complexity of semantics for logic programs
Zbigniew Lonc, Miroslaw Truszczyński
Pages: 91-119
DOI: 10.1145/601775.601779
A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The following problem is an example of a parameterized decision problem with k serving as a...

A complete characterization of complete intersection-type preorders
M. Dezani-Ciancaglini, F. Honsell, F. Alessi
Pages: 120-147
DOI: 10.1145/601775.601780
We characterize those type preorders which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics, the...