1418 search results - page 184 / 284 » The Dynamic Complexity of Formal Languages |
142
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
134
click to vote
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
144
Voted
DAGSTUHL
2007
15 years 6 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
155
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
134
click to vote
CLIMA
2007
15 years 6 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...