Can I read FunTAL: reasonably mixing a functional language with assembly on EtoBox?

FunTAL: reasonably mixing a functional language with assembly by Daniel Patterson; Jamie Perconti; Christos Dimoulas; Amal Ahmed is a Computer Science article available to read on EtoBox.

What is FunTAL: reasonably mixing a functional language with assembly about?

We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting compositional reasoning about the mix. A central challenge in developing such a multi-language is bridging the gap between assembly, which is staged into jumps to continuations, and high-level code, where subterms return a result. We present a __compositional__ stack-based typed assembly language that supports __components__ , comprised of one or more basic blocks, that may be embedded in high-level contexts. We also present a logical relation for FunTAL that supports reasoning about equivalence of high-level components and their assembly replacements, mixed-language programs with callbacks between languages, and assembly components comprised of different numbers of basic blocks.

Who reads FunTAL: reasonably mixing a functional language with assembly?

Author

Daniel Patterson; Jamie Perconti; Christos Dimoulas; Amal Ahmed

Publisher

Association for Computing Machinery (ACM)

Published

2017

Language

EN

Field

Computer Science (Physical Sciences)