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

15 years 5 months ago

Download www.fujipress.jp

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

claim paper

Read More »

112

click to vote

SCP
2008

53views more SCP 2008»

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

15 years 5 months ago

Download swerl.tudelft.nl

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

claim paper

Read More »

140

Voted

SOCO
2008
Springer

95views Software Engineering» more SOCO 2008»

Practical Conflict Resolution for the Composition of Program Transformations

15 years 3 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

15 years 3 months ago

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

Conrad Rau, Manfred Schmidt-Schauß

claim paper

Read More »

204

click to vote

ENASE
2011

227views Hardware» more ENASE 2011»

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

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers