2362 search results - page 100 / 473 » Programming in Standard ML |
155
Voted
ATAL
1997
Springer
15 years 7 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
135
Voted
VLDB
1993
ACM
15 years 7 months ago
1993
ACM
If persistent programming languages are to be accepted they must provide many of the standard features of traditional database systems, including resilience in the face of system ...
143
Voted
CPAIOR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...
93
Voted
MICAI
2004
Springer
15 years 9 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
130
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...