Releases: harp-project/Core-Erlang-mini
Releases · harp-project/Core-Erlang-mini
v1.6
v1.5
Full Changelog: v1.4...v1.5
v1.4
v1.3
v1.2
v1.1
This release includes a formal definition of a subset of Core Erlang. The formalisation contains:
- Syntax using a de Bruijn approach
- Static semantics (variable scoping)
- Substitutions
- Frame stack semantics for both sequential, process-local, and inter-process semantics
- A definition of bisimulations, weak bisimulations, and a number of equivalence proofs in the concurrent semantics
- Logical relations, CIU, and contextual equivalence for the sequential sublanguage
- Proofs about equivalent sequential expressions, properties of the equivalence relations
- An informal description of the semantics in a separate document