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:

• extends IMP

Reuse of funcons:

• IMPPP-Funcons-Index
• IMPPP-Unstable-Funcons-Index

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:

• Peter Mosses, Neil Sculthorpe

---

↑ →

Table of contents

• IMPPP-Start
• IMPPP-1
• IMPPP-2
• IMPPP-3
• IMPPP-4
• IMPPP-Disambiguation
• IMPPP-Funcons-Index
• IMPPP-Unstable-Funcons-Index

---