Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
| 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 |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Flambda
|