4355 search results - page 150 / 871 » From Interpretation to Compilation |
161
click to vote
CCIA
2005
Springer
16 years 6 hour ago
2005
Springer
The literal performance of the symbols contained in a traditional score is not enough to produce expressive music. Human interpreters use musical knowledge that is not explicitly r...
146
click to vote
ENTCS
2008
15 years 6 months ago
2008
We recast Selinger's CPM-construction of completely positive maps [11] as an axiomatization of maximally mixed states. This axiomatization also guarantees categories of compl...
176
click to vote
APLAS
2005
ACM
16 years 23 hour ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
193
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
153
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...