In this paper we consider the problem of translating a core typed functional language, F# (including mutable variables), into scripting languages such as JavaScript or Python. We abstract the most significant characteristics of such scripting languages in an intermediate language (IL for short), which is an imperative language, with constructs for handling safely pieces of code containing free variables. We define an operational semantics for IL and highlight the proof of correctness of the translation.
Compiling functional to scripting languages / P. Giannini, A. Shaqiri (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE). - In: Software technologies : 8. International joint conference, ICSOFT 2013 : Reykjavik, Iceland, July 29-31, 2013 : revised selected papers / [a cura di] J. Cordeiro, M. van Sinderen. - Berlin : Springer, 2014. - ISBN 9783662449196. - pp. 114-130 (( Intervento presentato al 8. convegno International joint conference (ICSOFT) tenutosi a Reykjavik nel 2013 [10.1007/978-3-662-44920-2_8].
Compiling functional to scripting languages
A. ShaqiriUltimo
2014
Abstract
In this paper we consider the problem of translating a core typed functional language, F# (including mutable variables), into scripting languages such as JavaScript or Python. We abstract the most significant characteristics of such scripting languages in an intermediate language (IL for short), which is an imperative language, with constructs for handling safely pieces of code containing free variables. We define an operational semantics for IL and highlight the proof of correctness of the translation.File | Dimensione | Formato | |
---|---|---|---|
main.pdf
accesso riservato
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
299.09 kB
Formato
Adobe PDF
|
299.09 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.