%0 Report %1 Correnson98e %A Correnson, Loic %A Duris, Etienne %A Parigot, Didier %A Roussel, Gilles %D 1998 %K deforestation, evaluation partial %T Equational Semantics %U ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/Rapport/correnson98e.ps.gz %X Many methods exist to perform program transformations, but most of them are dedicated to few programming languages. We propose a new formalism able to encode an abstract representation of the operational semantics of a program. With this formalism, we define simple transformations that lead to complex ones such as deforestation or partial evaluation in several programming languages. Though highly theoretical and language-independent, this method can be implemented and especially interfaced with real programming languages. For instance, a prototype dealing with a simple higher-order functional programming language has been implemented (with a call-by-value operational semantics). This prototype produces some more powerful transformations than other known functional methods, especially with deforestation on functions with accumulative parameters.

@techreport{Correnson98e, abstract = {Many methods exist to perform program transformations, but most of them are dedicated to few programming languages. We propose a new formalism able to encode an abstract representation of the operational semantics of a program. With this formalism, we define simple transformations that lead to complex ones such as deforestation or partial evaluation in several programming languages. Though highly theoretical and language-independent, this method can be implemented and especially interfaced with real programming languages. For instance, a prototype dealing with a simple higher-order functional programming language has been implemented (with a call-by-value operational semantics). This prototype produces some more powerful transformations than other known functional methods, especially with deforestation on functions with accumulative parameters.}, added-at = {2009-05-10T18:36:57.000+0200}, author = {Correnson, Loic and Duris, Etienne and Parigot, Didier and Roussel, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/26ced5427afd7514507d2ab47129a5dc2/dparigot}, description = {Attribute Grammar}, institution = {INRIA}, interhash = {c9fa1af275a8f1f9f92f78837aebe317}, intrahash = {6ced5427afd7514507d2ab47129a5dc2}, keywords = {deforestation, evaluation partial}, month = {October}, postscript = {publications/Rapport/correnson98e.ps.gz}, timestamp = {2009-05-10T18:36:59.000+0200}, title = {Equational Semantics}, type = {submit}, url = {ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/Rapport/correnson98e.ps.gz}, year = 1998 }