Re: imperative-to-functional compiler

On Tuesday 18 Jan 2011 at 02:53, nojb <n.oje.bar@gmail.com> wrote:
> Suppose you want to translate an imperative language (e.g. a suitable
> subset of Pascal) into a functional language that does not have
> mutable variables (e.g. ML). Is this possible? What would be the
> algorithms/theory that would be relevant to handle the mutability of
> the variables on the Pascal side? Is SSA relevant?


The CIP Project (Computer-aided Intuition-guided Programming) was
based on a small functional kernel language which was extended to an
imperative language via "definitional transformations". These are a
sequence of program transformations which replaced all imperative
constructs (mutable variables etc) by equivalent functional
constructs.


%A F. L. Bauer
%A R. Berghammer
%A et.~al.
%A The CIP Language Group
%T The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
%S Lect. Notes in Comp. Sci.
%I Springer-Verlag
%C New York--Heidelberg--Berlin
%V 183
%D 1985


%A F. L. Bauer
%A The~CIP~System~Group
%T The Munich Project CIP, Volume II: The Program Transformation System CIP-S
%S Lect. Notes in Comp. Sci.
%I Springer-Verlag
%C New York--Heidelberg--Berlin
%V 292
%D 1987


%A F. L. Bauer
%T Program Development By Stepwise Transformations---the Project CIP
%S Lect. Notes in Comp. Sci.
%I Springer-Verlag
%C New York--Heidelberg--Berlin
%B Program Construction
%E G. Goos
%E H. Hartmanis
%V 69
%D 1979
%P 237-266


%A H. Partsch
%T The CIP Transformation System
%B Program Transformation and Programming Environments
%o Report on a Workshop directed by F. L. Bauer and H. Remus
%P 305-323
%E P. Pepper
%I Springer-Verlag
%C New York--Heidelberg--Berlin
%D 1984


%A M. Broy
%T Algebraic Methods for Program Construction: the Project CIP
%B Program Transformation and Programming Environments
%o Report on a Workshop directed by F. L. Bauer and H. Remus
%P 199-222
%E P. Pepper
%I Springer-Verlag
%C New York--Heidelberg--Berlin
%D 1984


%A F. L. Bauer
%A B. Moller
%A H. Partsch
%A P. Pepper
%T Formal Construction by Transformation---Computer
Aided Intuition Guided Programming
%J IEEE Trans. Software Eng.
%V 15
%N 2
%D |FEB|, 1989


--
Martin


STRL Reader in Software Engineering and Royal Society Industry Fellow
martin@gkc.org.uk http://www.cse.dmu.ac.uk/~mward/ Erdos number: 4
G.K.Chesterton web site: http://www.cse.dmu.ac.uk/~mward/gkc/
Mirrors: http://www.gkc.org.uk and http://www.gkc.org.uk/gkc

Return to the comp.compilers page.
Search the comp.compilers archives again.