1173 search results - page 95 / 235 » Program Derivation Using Analogy |
145
Voted
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This report presents a basic scheme for deriving systematically a filtering algorithm from the graph properties based representation of global constraints. This scheme i...
115
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...
181
click to vote
ACMMSP
2006
ACM
15 years 8 months ago
2006
ACM
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
138
click to vote
METRICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Success factors for measurement programs as identified in the literature typically focus on the `internals' of the measurement program: incremental implementation, support fr...
169
click to vote
LPNMR
1993
Springer
15 years 9 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...