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. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-662-44920-2_8 | Communications in Computer and Information Science |
Keywords | Field | DocType |
Scripting languages,Functional languages,Intermediate language,Translation | Operational semantics,Programming language,Functional programming,Computer science,Free variables and bound variables,Correctness,Imperative programming,Python (programming language),Scripting language,JavaScript | Conference |
Volume | ISSN | Citations |
457 | 1865-0929 | 1 |
PageRank | References | Authors |
0.37 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paola Giannini | 1 | 449 | 50.00 |
Albert Shaqiri | 2 | 15 | 3.01 |