Compilation of extended recursion in call-by-value functional languages
From MaRDI portal
(Redirected from Publication:848739)
Abstract: This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.
Recommendations
- Optimizing structural recursion in functional programs
- Recursive Functions with Pattern Matching in Interaction Nets
- Algebraic correctness proofs for compiling recursive function definitions with strictness information
- Compilation and evaluation of linear mutual recursions
- Unraveling recursion: compiling an IR with recursion to System F
Cites work
- scientific article; zbMATH DE number 986407 (Why is no real title available?)
- scientific article; zbMATH DE number 3864476 (Why is no real title available?)
- scientific article; zbMATH DE number 1952947 (Why is no real title available?)
- A syntactic approach to type soundness
- A type system for recursive modules
- A type system for well-founded recursion
- Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
- An abstract monadic semantics for value recursion
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Compilation of extended recursion in call-by-value functional languages
- Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
- Fixing \texttt{letrec}: A faithful yet efficient implementation of Scheme's recursive binding construct
- Functional and Logic Programming
- Programming Languages and Systems
- Recursive monadic bindings
- Recursive structures for standard ML
- Revised report on the algorithmic language scheme
- Skew confluence and the lambda calculus with letrec
- The categorical abstract machine
- The recursive record semantics of objects revisited
Cited in
(13)- A mechanism of function calls in MSVL
- Compilation and evaluation of linear mutual recursions
- An abstract monadic semantics for value recursion
- Positive supercompilation for a higher-order call-by-value language
- A sound strategy to compile general recursion into finite depth pattern matching
- Unraveling recursion: compiling an IR with recursion to System F
- scientific article; zbMATH DE number 1342285 (Why is no real title available?)
- Fixing \texttt{letrec}: A faithful yet efficient implementation of Scheme's recursive binding construct
- Automatic generation of compiled forms for linear recursions
- Well-founded coalgebras, revisited
- Compilation of extended recursion in call-by-value functional languages
- Algebraic correctness proofs for compiling recursive function definitions with strictness information
- scientific article; zbMATH DE number 3887103 (Why is no real title available?)
This page was built for publication: Compilation of extended recursion in call-by-value functional languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q848739)
