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 metadata

Browse

Present sur SoftwareHeritage
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 Connect in order to contact the contributor
Submitted on : Tuesday, September 4, 2018 - 3:54:02 PM
Last modification on : Saturday, November 21, 2020 - 7:58:03 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⟩

Export

CodeMeta BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

125

Files downloads

200

 

Contact                    Legal Notice                    Personal Data