4224 search results - page 668 / 845 » Reasoning about Choice |
134
Voted
HASKELL
2007
ACM
15 years 9 months ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...
140
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
178
click to vote
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
150
click to vote
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
140
click to vote
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...