Sciweavers

1882 search results - page 8 / 377
» Transformational Programming and Forests
Sort
View
CSL
1993
Springer
14 years 16 days ago
Program Transformation and Proof Transformation
Wilfried Sieg, Stanley S. Wainer
GPCE
2005
Springer
14 years 1 months ago
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, E...
PPDP
2005
Springer
14 years 1 months ago
Program transformation by templates based on term rewriting
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
Yuki Chiba, Takahito Aoto, Yoshihito Toyama