6829 search results - page 147 / 1366 » Quantitative Generalizations of Languages |
127
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
121
Voted
ECAI
1992
Springer
15 years 9 months ago
1992
Springer
Just as the order defined by generality over concepts allows concept induction to be performed without generalisation/specialisation operators, so too the order defined by set inc...
146
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
115
click to vote
TOPLAS
2008
15 years 3 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
139
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...