OCamlStack 1.05.1

Xavier Leroy 1 Damien Doligez 2 Jérôme Vouillon 1 Alain Deutsch 2 Bruno Blanchet 2
1 CRISTAL - Typed programming, modularity and compilation
Inria Paris-Rocquencourt
2 MOSCOVA - Mobililty, security, concurrence, verification and analysis
Inria Paris-Rocquencourt
This is a modified version of OCaml 1.05 that performs stack allocation instead of heap allocation when possible. This optimization can speed up the programs.
Document type :
Software
Complete list of metadatas

Browse

- Identifier : swh:1:dir:53c27f53e2115f847f855b9a400169d218363185  Browse
https://hal.inria.fr/hal-01867778
Contributor : Bruno Blanchet <>
Submitted on : Tuesday, September 4, 2018 - 3:54:02 PM
Last modification on : Wednesday, June 26, 2019 - 4:29:43 PM

Metadata

Keywords : functional language optimization stack allocation

Programming Language
OCaml

Collections

INRIA-ROCQ | INRIA

Citation

Xavier Leroy, Damien Doligez, Jérôme Vouillon, Alain Deutsch, Bruno Blanchet. OCamlStack 1.05.1. 2001, ⟨swh:1:dir:53c27f53e2115f847f855b9a400169d218363185⟩. ⟨hal-01867778⟩

Share

Metrics

Record views

94

Files downloads

124

Contact


archive-ouverte@inria.fr