2236 search results - page 71 / 448 » Language Independence and Language Tolerance in Logic Progra... |
208
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
181
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
173
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
195
click to vote
LOPSTR
2007
Springer
16 years 11 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
177
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...