1173 search results - page 163 / 235 » Program Derivation Using Analogy |
165
click to vote
CONCUR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
177
click to vote
TLCA
2007
Springer
16 years 12 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
149
Voted
XIMEP
2006
ACM
16 years 7 days ago
2006
ACM
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
157
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper introduces a heuristic solution to the multiple restricted multiplication (MRM) optimization problem. MRM refers to a situation where a single variable is multiplied...
180
Voted
ISIPTA
2005
IEEE
15 years 12 months ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....