LangDev-2019

Demonstration of co-evolution of a language specification in CBS (LangDev-2019)

Colophon

Status:

• abstract syntax: complete
• dynamic semantics: complete
• static semantics: not specified
• disambiguation: adequate

Tests:

• 16 small programs
• adequate coverage?
• non-determinism only partially tested

Evolution:

• first version

Reuse of funcons:

• LangDev-2019-Funcons-Index
• LangDev-2019-Unstable-Funcons-Index

References:

• LangDev’19 presentation: Slides PDF
• Executable component-based semantics: JLAMP, preprint
• Software meta-language engineering and CBS: JVLC

Keywords:

• functional, imperative, concurrent, illustrative, simple, disambiguation

Main contributors:

• Peter Mosses

---

← ↑

Table of contents

• LD-Start
• LD-Disambiguation
• LD-Funcons-Index
• LD-Unstable-Funcons-Index
• LD-demo

---