Document Open Access Logo

Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact)

Authors Baptiste Saleil, Marc Feeley

Thumbnail PDF

Artifact Description

  • Filesize: 331 kB
  • 2 pages

Document Identifiers

Author Details

Baptiste Saleil
Marc Feeley

Cite AsGet BibTex

Baptiste Saleil and Marc Feeley. Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 14:1-14:2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)



This artifact is based on LC, a research oriented JIT compiler for Scheme. The compiler is extended to allow interprocedural, type based, code specialization using the technique and its implementation presented in the paper. Because the technique is directly implemented in LC, the package contains the build of the compiler used for our experiments. To support repeatability, the artifact allows the user to easily extract the data presented in the paper such as the number of executed type checks or the generated code size. The user can repeat the experiments using a set of standard benchmarks as well as its own programs. Instructions for building the compiler from scratch are also provided.
  • just-in-time compilation
  • interprocedural optimization
  • dynamic language
  • higher-order function
  • scheme


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail