Search Sciweavers | Sciweavers

2000 search results - page 49 / 400

» Program Transformation and Proof Transformation

click to vote

JACIII
2006

60views more JACIII 2006»

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model

14 years 10 months ago

Download www.fujipress.jp

Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiro...

claim paper

Read More »

click to vote

SCP
2008

53views more SCP 2008»

Stratego/XT 0.17. A language and toolset for program transformation

14 years 10 months ago

Download swerl.tudelft.nl

Martin Bravenboer, Karl Trygve Kalleberg, Rob Verm...

claim paper

Read More »

click to vote

SOCO
2008
Springer

95views Software Engineering» more SOCO 2008»

Practical Conflict Resolution for the Composition of Program Transformations

14 years 8 months ago

Download www.iks.inf.ethz.ch

Andreas I. Schmied, Franz J. Hauck

claim paper

Read More »

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

14 years 8 months ago

Download www.ki.informatik.uni-frankfurt.de

Conrad Rau, Manfred Schmidt-Schauß

claim paper

Read More »

113

click to vote

ENASE
2011

227views Hardware» more ENASE 2011»

Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers