13383 search results - page 231 / 2677 » Abstractions from proofs |
201
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
199
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
196
click to vote
PADL
2007
Springer
16 years 23 days ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
138
click to vote
ESOP
2004
Springer
16 years 11 hour ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
165
Voted
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...