Flambda

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf compiler optimization framework
gptkbp:canBe yes
gptkbp:defaultIn OCaml 4.12 and later
gptkbp:developedBy gptkb:OCaml
OCaml development team
gptkbp:documentation https://ocaml.org/manual/flambda.html
gptkbp:features dead code elimination
specialization
aggressive inlining
constant propagation
interprocedural optimizations
https://www.w3.org/2000/01/rdf-schema#label Flambda
gptkbp:introducedIn OCaml 4.03
gptkbp:license gptkb:LGPL
gptkbp:openSource yes
gptkbp:purpose improve performance of OCaml code
gptkbp:replacedBy classic OCaml optimization passes
gptkbp:bfsParent gptkb:OCamlPro
gptkbp:bfsLayer 7