15784 search results - page 720 / 3157 » Mega Software Engineering |
175
click to vote
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...
173
click to vote
FOSSACS
1998
Springer
15 years 11 months ago
1998
Springer
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
156
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
262
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.