1940 search results - page 22 / 388 » Graph Transformation with Variables |
129
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
142
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
144
click to vote
HIPEAC
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Stream programming is a promising way to expose concurrency to the compiler. A stream program is built from kernels that communicate only via point-to-point streams. The ...
116
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
107
click to vote
WER
2007
Springer
15 years 8 months ago
2007
Springer
Complex information systems have numerous design variables that are systematically decided upon during the design process. In high-variability systems, some of these decisions are...