3342 search results - page 283 / 669 » Automating Abstract Interpretation |
116
click to vote
KR
1992
Springer
15 years 8 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
151
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
127
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
126
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
116
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...