3931 search results - page 375 / 787 » Separation logic and abstraction |
179
click to vote
DATE
2003
IEEE
16 years 7 days ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...
160
click to vote
TPHOL
2003
IEEE
16 years 6 days ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
212
click to vote
ERLANG
2003
ACM
16 years 6 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
161
click to vote
AIIA
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...
197
click to vote
ASP
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...