15777 search results - page 677 / 3156 » The Reformulation-Optimization Software Engine |
162
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...
160
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.
140
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
