395 search results - page 35 / 79 » Predicate Abstraction with Minimum Predicates |
156
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
161
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
167
click to vote
AIMSA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a novel, simple, unsupervised method for characterizing the semantic relations that hold between nouns in noun-noun compounds. The main idea is to discover pre...
179
click to vote
WCRE
1995
IEEE
15 years 9 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
179
click to vote
WOODPECKER
2001
15 years 7 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...