2000 search results - page 245 / 400 » Program Transformation and Proof Transformation |
138
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
114
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
132
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
153
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
128
Voted
VL
1999
IEEE
15 years 8 months ago
1999
IEEE
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...