3546 search results - page 238 / 710 » A Causal Logic of Logic Programming |
191
click to vote
AGP
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
181
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
192
click to vote
TLCA
2005
Springer
16 years 21 days ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
181
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
199
click to vote
ENTCS
2002
15 years 7 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...