3658 search results - page 314 / 732 » The logic of proofs, semantically |
195
Voted
DAGSTUHL
1998
15 years 8 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
207
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
152
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
145
click to vote
ASM
2005
ASM
16 years 11 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
158
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we make a contribution to the proof and trust layer of the Semantic Web layer cake by integrating two well founded techniques, namely DAML-S (for describing Web serv...