Link Search Menu Expand Document

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:

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