Add to ORKGContains fulltext : 84493_aut.pdf (author's version ) (Open Access) Contains fulltext : 84493_pub.pdf (publisher's version ) (Open Access)7th International Symposium on Programming Languages: Implementations, Logics and Program
SIGLEAvailable from British Library Document Supply Centre- DSC:D183011 / BLDSC - British Library Do...
We address the problem of designing constraint logic languages that usefully combine backward and fo...
AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...
This paper introduces an alternative operational model for constraint logic programs. First, a trans...
This paper presents and illustrates a practical approach to the dataflow analysis of constraint logi...
AbstractWe present a denotational semantics for a logic program to construct a dataflow for the logi...
We define a framework for writing executable declarative specifications which incorporate categorica...
[Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs
© 1988, Springer-Verlag. An implementation scheme for a logic programming language on the Manchester...
Contains fulltext : 84490_aut.pdf (author's version ) (Open Access) ...
AbstractThis paper is concerned with functionality of a logic program. Functionality based on input-...
Multiway dataflow constraint systems (MDCS) is a programming model where statements are not executed...
Logic programs are an important knowledge representation tool. In many cases, definite logic program...
Dataflow languages provide natural support for specifying constraints between objects in dynamic app...
Abstract. Flow logic offers a compact and versatile notation for ex-pressing the acceptability ofsol...
SIGLEAvailable from British Library Document Supply Centre- DSC:D183011 / BLDSC - British Library Do...
We address the problem of designing constraint logic languages that usefully combine backward and fo...
AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...
This paper introduces an alternative operational model for constraint logic programs. First, a trans...
This paper presents and illustrates a practical approach to the dataflow analysis of constraint logi...
AbstractWe present a denotational semantics for a logic program to construct a dataflow for the logi...
We define a framework for writing executable declarative specifications which incorporate categorica...
[Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs
© 1988, Springer-Verlag. An implementation scheme for a logic programming language on the Manchester...
Contains fulltext : 84490_aut.pdf (author's version ) (Open Access) ...
AbstractThis paper is concerned with functionality of a logic program. Functionality based on input-...
Multiway dataflow constraint systems (MDCS) is a programming model where statements are not executed...
Logic programs are an important knowledge representation tool. In many cases, definite logic program...
Dataflow languages provide natural support for specifying constraints between objects in dynamic app...
Abstract. Flow logic offers a compact and versatile notation for ex-pressing the acceptability ofsol...
SIGLEAvailable from British Library Document Supply Centre- DSC:D183011 / BLDSC - British Library Do...
We address the problem of designing constraint logic languages that usefully combine backward and fo...
AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...