7139 search results - page 227 / 1428 » Language Engineering in Practice |
217
click to vote
PPCP
1993
15 years 11 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
169
Voted
PEPM
1999
ACM
15 years 11 months ago
1999
ACM
Quasiquotation is the technology commonly used in Lisp to write program-generating programs. In this paper I will review the history and development of this technology, and explai...
256
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
225
click to vote
ER
2009
Springer
15 years 4 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
199
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
This position paper suggests research directions in the area of virtual machines supporting aspect-oriented capabilities in the context of object-oriented languages. Categories an...