Link Search Menu Expand Document

IMP++

Unstable language specification, illustrating use of multithreading funcons

Grigore Rosu wrote (Rosu2017KSF):

IMP++ extends the IMP language with:

  • Strings and concatenation of strings. […]
  • Variable increment. […]
  • Input and output. […]
  • Abrupt termination. […]
  • Dynamic threads. […]
  • Blocks and local variables. […]

Colophon

Status:

  • abstract syntax: complete
  • dynamic semantics: complete
  • static semantics: not relevant
  • disambiguation: complete

Tests:

  • 6 small multithreading programs
  • 9 small imperative tests
  • 3 small imperative programs

Evolution:

Reuse of funcons:

References:

  • K semantic definition of the IMP++ language (IMP++ in K)
  • K – A Semantic Framework for Programming Languages and Formal Analysis Tools (Rosu2017KSF)

Keywords:

  • imperative, multithreading, illustrative, simple, disambiguation, K framework

Main contributors:


Table of contents