| Year | 2012 |
|---|---|
| Type | Talk |
| Status | Published |
| Authors | Dorel Lucanu, Traian Serbanuta |
Links
Abstract
This tutorial will provide participants with a basic knowledge of the K framework, as well as hands-on experience with using K to define a real programming language. Time will be spent showing how one can write a formal (but quite intuitive) definition of a language, and use that to automatically generate an interpreter, debugger, state space search, and a model checker. After attending the tutorial, participants will be able to use K to define their own languages or calculi and then derive similar tools from their semantics for free.
BibTeX
@talk{dlucanu-tserbanuta-2012-synasc,
author = {Dorel Lucanu and Traian Florin Serbanuta},
title = {K Tutorial},
booktitle = {SYNASC},
year = {2012},
url = {http://synasc12.info.uvt.ro/tutorials/tutorial-k-framework[SYNASC12]}
}