TY - GEN
T1 - An intermediate language for compilation to scripting languages
AU - Giannini, Paola
AU - Shaqiri, Albert
PY - 2013
Y1 - 2013
N2 - In this paper we introduce an intermediate language for translation of F#, a functional language polymorphically typed relying on the .Net platform, to different scripting languages, such as Python and JavaScript. This intermediate language (IL for short) is an imperative language, with constructs that make possible to move a code fragment outside its definition environment, during the translation. Definition of names (variables and functions) are done in blocks, like in Python (and JavaScript) and do not have to statically precede their use. We present a translation of a core F# (including mutable variables) into IL.
AB - In this paper we introduce an intermediate language for translation of F#, a functional language polymorphically typed relying on the .Net platform, to different scripting languages, such as Python and JavaScript. This intermediate language (IL for short) is an imperative language, with constructs that make possible to move a code fragment outside its definition environment, during the translation. Definition of names (variables and functions) are done in blocks, like in Python (and JavaScript) and do not have to statically precede their use. We present a translation of a core F# (including mutable variables) into IL.
KW - Functional languages
KW - Intermediate language
KW - Scripting languages
KW - Translation
UR - http://www.scopus.com/inward/record.url?scp=84887078976&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84887078976
SN - 9789898565686
T3 - ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
SP - 92
EP - 103
BT - ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
T2 - 8th International Joint conference on Software Technologies, ICSOFT 2013
Y2 - 29 July 2013 through 31 July 2013
ER -