2000 search results - page 40 / 400 » Program Transformation and Proof Transformation |
144
click to vote
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
132
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
118
Voted
BIRTHDAY
1994
Springer
15 years 7 months ago
1994
Springer
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
ECEASST
2006
15 years 3 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
119
click to vote
FUIN
2006
15 years 3 months ago
2006
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...