3827 search results - page 154 / 766 » The Epsilon Generation Language |
142
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
148
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
158
Voted
AADEBUG
1993
Springer
15 years 9 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
124
click to vote
ICMLA
2008
15 years 6 months ago
2008
This paper presents a software system that is able to generate crosswords with no human intervention including definition generation and crossword compilation. In particular, the ...
163
Voted
IUI
1993
ACM
15 years 9 months ago
1993
ACM
Action mode interfaces, in which the user achieves his goals by manipulating representations, suffer from some fundamental disadvantages. In this paper, we present a working proto...