672 search results - page 20 / 135 » On the Expressive Power of the Loop Language |
125
click to vote
GPCE
2009
Springer
14 years 11 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
108
Voted
CP
2010
Springer
15 years 14 days ago
2010
Springer
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
106
Voted
IFL
1997
Springer
15 years 6 months ago
1997
Springer
This paper introduces a new compiler optimization called with-loop-folding. It is based on a special loop construct, the withloop, which in the functional language Sac (for Single ...
160
Voted
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
OOPSLA
1987
Springer
15 years 5 months ago
1987
Springer
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...