3931 search results - page 375 / 787 » Separation logic and abstraction |
193
click to vote
DATE
2003
IEEE
16 years 27 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...
184
click to vote
TPHOL
2003
IEEE
16 years 26 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...
224
click to vote
ERLANG
2003
ACM
16 years 26 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...
183
click to vote
AIIA
2003
Springer
16 years 25 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 ...
221
click to vote
ASP
2003
Springer
16 years 25 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...