159 search results - page 7 / 32 » An extended comparative study of language support for generi... |
150
click to vote
AADEBUG
1993
Springer
15 years 8 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....
117
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
103
click to vote
CTCS
1989
Springer
15 years 8 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
125
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
We describe Storytelling Alice, a programming environment that introduces middle school girls to computer programming as a means to the end of creating 3D animated stories. Storyt...
134
click to vote
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...