Files in this item



application/pdfrosu-serbanuta-2010-jlap-submission.pdf (748kB)
(no description provided)PDF


Title:An Overview of the K Semantic Framework
Author(s):Rosu, Grigore
Contributor(s):Șerbănuță, Traian Florin
Subject(s):programming languages design
abstract machine
Abstract:K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, computations and rules. Configurations organize the system/program state in units called cells, which are labeled and can be nested. Computations carry "computational meaning" as special nested list structures sequentializing computational tasks, such as fragments of program; in particular, computations extend the original language or calculus syntax. K (rewrite) rules generalize conventional rewrite rules by making it explicit which parts of the term they read-only, write-only, or do not care about. This distinction makes K a suitable framework for defining truly concurrent languages or calculi even in the presence of sharing. Since computations can be handled like any other terms in a rewriting environment, that is, they can be matched, moved from one place to another in the original term, modified, or even deleted, K is particularly suitable for defining control-intensive language features such as abrupt termination, exceptions or call/cc. This paper gives an overview of the K framework: what it is, how it can be used, and where it has been used so far. It also proposes and discusses the K definition of Challenge, a programming language that aims at challenging and exposing the limitations of the various existing semantic frameworks.
Issue Date:2010-02-05
Citation Info:@article{rosu-serbanuta-2010-jlap-submission, authors={Grigore Ro{\c s}u and Traian Florin {\c S}erb{\u a}nu{\c t}{\u a} }, title={An Overview of the K Semantic Framework}, journal={Journal of Logic and Algebraic Programming}, note = {submitted} }
Genre:Technical Report
Publication Status:published or submitted for publication
Date Available in IDEALS:2010-02-05

This item appears in the following Collection(s)

Item Statistics