transalpyne: a language for automatic transposition. We present here transalpyne, a scripting language, to be executed on top of a computer algebra system, that is specifically conceived for automatic transposition of linear functions. Its type system is able to automatically infer all the possible linear functions realized by a computer program. The key feature of transalpyne is its ability to transform a computer program computing a linear function in another computer program computing the transposed linear function. The time and space complexity of the resulting program are similar to the original ones.
References in zbMATH (referenced in 2 articles , 2 standard articles )
Showing results 1 to 2 of 2.
- De Feo, Luca; Schost, Eric: transalpyne: a language for automatic transposition (2010)
- De Feo, Luca; Schost, Éric: transalpyne: a language for automatic transposition (2010)