2014
DOI: 10.1007/978-3-662-44920-2_8
|View full text |Cite
|
Sign up to set email alerts
|

Compiling Functional to Scripting Languages

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
7
0

Year Published

2017
2017
2017
2017

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(7 citation statements)
references
References 7 publications
0
7
0
Order By: Relevance
“…This paper is an extended and completely revised version of [12] and [14], whose aim was to introduce IL and show the challenges of the translation. In this paper, we give a different definition of the operational semantics of both languages, add exception handling to the source and target languages, and formalize and prove the correctness of the translation from the source language F# to the target language IL.…”
Section: A Provably Correct Compilation Of Functional Languages Into mentioning
confidence: 99%
See 4 more Smart Citations
“…This paper is an extended and completely revised version of [12] and [14], whose aim was to introduce IL and show the challenges of the translation. In this paper, we give a different definition of the operational semantics of both languages, add exception handling to the source and target languages, and formalize and prove the correctness of the translation from the source language F# to the target language IL.…”
Section: A Provably Correct Compilation Of Functional Languages Into mentioning
confidence: 99%
“…In this paper, we give a different definition of the operational semantics of both languages, add exception handling to the source and target languages, and formalize and prove the correctness of the translation from the source language F# to the target language IL. Following the suggestion of a previous referee, we also define a translation which is simpler that the one of [12] and [14].…”
Section: A Provably Correct Compilation Of Functional Languages Into mentioning
confidence: 99%
See 3 more Smart Citations