Skip to Main content Skip to Navigation

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
Abstract : 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

Present sur SoftwareHeritage - Identifier : swh:1:dir:53c27f53e2115f847f855b9a400169d218363185;origin=https://hal.archives-ouvertes.fr/hal-01867778;visit=swh:1:snp:66f78f3d525323f8a6a0b9b4c9162be9a06d6481;anchor=swh:1:rev:7eec094cb90a3972ac86bea5789f3441003a3f2c;path=/  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

Citation

Xavier Leroy, Damien Doligez, Jérôme Vouillon, Alain Deutsch, Bruno Blanchet. OCamlStack 1.05.1. 2001, ⟨swh:1:dir:53c27f53e2115f847f855b9a400169d218363185;origin=https://hal.archives-ouvertes.fr/hal-01867778;visit=swh:1:snp:66f78f3d525323f8a6a0b9b4c9162be9a06d6481;anchor=swh:1:rev:7eec094cb90a3972ac86bea5789f3441003a3f2c;path=/⟩. ⟨hal-01867778⟩

Share

Metrics

Record views

120

Files downloads

186

 

Contact                    Legal Notice                    Personal Data