1941 search results - page 1 / 389 » Reasoning about Computations Using Two-Levels of Logic |
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
ISMB
1993
14 years 10 months ago
1993
DAC
1996
ACM
15 years 1 months ago
1996
ACM
-- We present a new heuristic algorithm for hazard-free minimization of two-level logic. On nearly all examples, the algorithm finds an exactly minimum-cost cover. It also solves s...
MSS
2003
IEEE
15 years 2 months ago
2003
IEEE
When data resides on tertiary storage, clustering is the key to achieving high retrieval performance. However, a straightforward approach to clustering massive amounts of data on ...
114
click to vote
FMCO
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...