445 search results - page 19 / 89 » A Systematic Construction of Abstract Domains |
CAV
1998
Springer
14 years 1 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
DARE
2000
13 years 10 months ago
2000
: In this paper, we seek to identify interesting sources of metaphor for tangible user interfaces (TUIs). We begin by doing a systematic exploration of the design space that result...
LPAR
2000
Springer
14 years 14 days ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
ER
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...