Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-1

Control Generation by Program Transformation

Andy King, Jonathan C. Martin

Fundamenta Informaticae

Free access

Research article

First published 2013-5

Equivalent Transformations of Heterogeneous Meta-Programs

Vytautas Štuikys, Robertas Damaševičius

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2005-7

Point-free Program Transformation

Alcino Cunha, Jorge Sousa Pinto

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Program transformation for development,verification,and synthesis of programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2013-9

Proving Theorems by Program Transformation

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1980

Programs as term transformers

Stefan Sokołowski

Fundamenta Informaticae

Retricted access

Other

First published 2002-5

Transformation Rules and Strategies for Functional‐Logic Programs

Ginés Moreno

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2006-1

Implementing Typeful Program Transformations

Chiyan Chen, Rui Shi, Hongwei Xi

Fundamenta Informaticae

Retricted access

Research article

First published 2011-12

Multi-Paradigmatic Perspectives on a Business Transformation Program

Sergio Pellegrinelli, Ruth Murray-Webster

Project Management Journal

Retricted access

Research article

First published 2006-9

A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis

Fundamenta Informaticae

Search results