858 search results - page 120 / 172 » Abstract Interpretation Based Verification of Logic Programs |
140
click to vote
DAGSTUHL
1998
15 years 4 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
170
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
129
click to vote
JOT
2008
15 years 3 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
143
click to vote
AGP
1996
IEEE
15 years 7 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
101
click to vote
PLILP
1993
Springer
15 years 7 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...