Search Sciweavers | Sciweavers

2000 search results - page 45 / 400

» Program Transformation and Proof Transformation

click to vote

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

15 years 3 months ago

Download www.codeboost.org

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

claim paper

Read More »

click to vote

ICTCS
2003
Springer

71views Theoretical Computer Science» more ICTCS 2003»

Security-Aware Program Transformations

15 years 3 months ago

Download www.di.unipi.it

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...

claim paper

Read More »

click to vote

COMPSAC
2002
IEEE

73views Software Engineering» more COMPSAC 2002»

Program Slicing via FermaT Transformations

15 years 2 months ago

Download www.cse.dmu.ac.uk

Martin P. Ward

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

132views Theoretical Computer Science» more ERSHOV 2001»

A Theoretical Foundation of Program Synthesis by Equivalent Transformation

15 years 2 months ago

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

click to vote

RTA
2001
Springer

91views Theoretical Computer Science» more RTA 2001»

Stratego: A Language for Program Transformation Based on Rewriting Strategies

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers