235 search results - page 31 / 47 » Dynamic interpretation for dynamic scripting languages |
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Rhizome is an end-to-end feature modeling and code generation platform that includes a feature modeling language (FeatureML), a template language (MarkerML) and a template-based c...
CONNECTION
2008
14 years 12 months ago
2008
We introduce an approach for physically-grounded natural language interpretation by robots which reacts appropriately to unanticipated physical changes in the environment and dyna...
110
click to vote
ESOP
2011
Springer
14 years 3 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
APLAS
2005
ACM
15 years 1 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
106
click to vote
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...