899 search results - page 58 / 180 » A CTL-Based Logic for Program Abstractions |
163
click to vote
LOPSTR
2005
Springer
16 years 2 days ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
209
click to vote
OPODIS
2003
15 years 8 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
167
click to vote
WFLP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
172
click to vote
CADE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
210
click to vote
ECOOP
2008
Springer
15 years 7 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...