Core Erlang:Formal Specification and Use in OSE
A small and relatively clean subset of Erlang
- Syntactic sugar is removed
- Resembles other “core” FP languages
An appropriate medium to:
- base the compiler’s front-end (already part of R8)
- apply high-level transformations such as:
- inlining (currently under development)
- deforestation (prototype; results so far inconclusive)
- base work of static analysis or verification
A formal definition of Core Erlang is currently available as a tech report (Richard Carlsson et al)