1445 search results - page 127 / 289 » Abstract Interpretation of Logic Programs |
100
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
135
click to vote
SAS
1991
Springer
15 years 6 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
137
click to vote
SEFM
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
110
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
172
click to vote
KR
1991
Springer
15 years 6 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...