The K primer (version 3.3)

Traian Florin Şerbǎnuţǎ, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Roşu

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)57-80
Number of pages24
JournalElectronic Notes in Theoretical Computer Science
StatePublished - Jun 10 2014


  • Theory and formal methods
  • programming language design

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'The K primer (version 3.3)'. Together they form a unique fingerprint.

Cite this