In functional ProgrammingLanguages computations are defined through functions that map argument values to result values. In pure functional languages this is the only ...
Homepage: http://www.generic-haskell.org/ Generic Haskell is an extension of HaskellLanguage with PolyTypic functions. CategoryLanguage Main.EelcoVisser 13 May ...
Homepage: http://www.cs.yale.edu/homes/tullsen/ Works on a transformation system for transformation of HaskellLanguage programs, called PATH (Programmer Assistant ...
Homepage: http://conal.net/Pan Pan is a functional language for image manipulation designed by ConalElliott. ConalElliott and OegeDeMoor describe an implementation ...
Homepage: http://www.andrewcooke.free-online.co.uk/jara/pancito/index.html Pancito is a HaskellLanguage library for image manipulation created by AndrewCooke based ...
A normalization reduces a program to a program in a sub-language, with the purpose of decreasing its syntactic complexity. Desugaring is a kind of normalization in ...
(See also ModelTransformation ) A Definition A program is a structured object with semantics. The structure allows us to transform a program. The semantics gives us ...
Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ...
Homepage: http://staff.science.uva.nl/~kort/tabaluga/ Tabaluga is a system for programming transformations in HaskellLanguage. It is a paramorphic fold and algebra ...