850 search results - page 56 / 170 » A Logic Programming Language Based on Binding Algebras |
ERSHOV
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
116
click to vote
ENTCS
2007
15 years 1 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
FLAIRS
2000
15 years 2 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
118
click to vote
PPDP
1999
Springer
15 years 5 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
126
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...