3056 search results - page 358 / 612 » Compiling Embedded Languages |
JOT
2008
15 years 2 months ago
2008
We present an enhanced form of untyped object-based inheritance for classless languages, as implemented in our Delta language, comparing to the prevalent practices of delegation a...
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Namespaces are a central building block of XML technologies today, they provide the identification mechanism for many XML-related vocabularies. Despite their ubiquity, there is no...
186
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Keyword search is recognized as an important technique to unlocking the information found in both structured and semistructured information. With XML as the data model and XQuery ...
116
click to vote
CC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
127
click to vote
AB
2007
Springer
15 years 8 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...