4355 search results - page 173 / 871 » From Interpretation to Compilation |
143
click to vote
ENTCS
2008
15 years 4 months ago
2008
In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The ...
131
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
113
click to vote
COST
2008
Springer
15 years 6 months ago
2008
Springer
In this overview, we look at embedded clauses that report somebody's attitude or speech. Semantic content in the embedded clause can in some such cases be interpreted from eit...
167
click to vote
AML
1999
15 years 4 months ago
1999
We continue the works of Gurevich-Shelah and Lifsches-Shelah by showing that it is consistent with ZFC that the first-order theory of random graphs is not interpretable in the mon...
139
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...