1. The K Primer (version 3.3)
- Author
-
Traian Florin Şerbănuţă, Grigore Rosu, Dorel Lucanu, Andrei Arusoaie, Chucky Ellison, and David Lazar
- Subjects
General Computer Science ,Computer science ,Programming language ,Comparison of multi-paradigm programming languages ,Second-generation programming language ,Theory and formal methods ,computer.software_genre ,Theoretical Computer Science ,Third-generation programming language ,Language primitive ,Program analysis ,Programming paradigm ,Fourth-generation programming language ,Fifth-generation programming language ,First-generation programming language ,computer ,programming language design ,Interpreter ,Programming language theory - Abstract
This paper serves as a brief introduction to the K tool, a system for formally defining programming languages. It is shown how sequential or concurrent languages can be defined in K simply and modularly. These formal definitions automatically yield an interpreter for the language, as well as program analysis tools such as a state-space explorer.
- Full Text
- View/download PDF