Transformation Development: TrafoLa-H Subsystem.

AllImages Videos News Maps Shopping Books

TrafoLa-H subsystem - SpringerLink

Jul 11, 2005 · Program Development by Specification and Transformation; Chapter. TrafoLa-H subsystem. Part III: System; Chapter; First Online: 01 January 2005.

Program Development by Specification and Transformation ...

www.amazon.com › Program-Developm...

- TrafoLa-H reference manual.- Uniform transformational development.- Guided tour of the PROSPECTRA System.- Controller.- Library manager.- PAnndA-S editor.- ...

Higher-order matching for program transformation - ScienceDirect.com

www.sciencedirect.com › article › pii

We present a simple, practical algorithm for higher-order matching in the context of automatic program transformation.

PROSPECTRA Book 1993 - DBLP

dblp.org › ... › PROSPECTRA

Transformation Development: Translators from TrafoLa to SSL and TrafoLa-H.

Program Development by Specification and Transformation ...

www.barnesandnoble.com › Books

This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to ...

Higher Order Matching for Program Transformation - SpringerLink

link.springer.com › chapter

We present a simple, practical algorithm for higher order matching in the context of automatic program transformation. Our algorithm finds more matches than ...

[PDF] Program Development by Specification and Transformation

biblio.cerist.dz › ouvrages

TrafoLa-H Subsystem ... sublanguages of the same language, for user program, transformation, proof, and system development.

Christian Arinze Ferdinand - Academia.edu

independent.academia.edu › ChristianAri...

Research paper thumbnail of Transformation Development: TrafoLa-H Subsystem. Transformation Development: TrafoLa-H Subsystem. Program Development By ...

The PROSPECTRA methodology and system: uniform transformational ...

ouci.dntb.gov.ua › works

... TrafoLa-H Subsystem, in [Krieg-Brückner, Hoffmann 91], Part III. Bauer, F.L., Wössner, H.: Algorithmic Language and Program Development. Springer 1982 ...

Christian Fecht - DBLP

dblp.org › Persons

Apr 25, 2024 · Transformation Development: TrafoLa-H Subsystem. PROSPECTRA Book 1993: 539-576. [+][–]. Coauthor network. maximize. Note that this feature is a ...