Online Talk by K Framework Team

A programming language for IoT device.

Online Talk by K Framework Team

We are happy to announce that K Framework team from UIUC will join us this Saturday, 10 Oct 2020 from 9 a.m. (UTC+0800, Beijing Time) to give a talk via Zoom.

Xiaohong Chen & Wenhao Su will co-host the talk about how to use K-Framework in Programming Language Design & Implementation .

Video Recording:

url: https://pan.baidu.com/s/1Oo3v19uDKJ5ohr4xxz817w
password: 68l9

Time: 2020/10/10, 9:00 a.m. – 10:00 a.m.

Venue: Zoom Meeting , url, Meeting ID: 883 5400 7766, Passcode: 934378

Content：

The vision of an ideal language semantic framework.
A high-level overview of K framework.
Demo: defining a simple high-order functional language in K.

Resources：

K Framework official website: http://www.kframework.org/index.php/Main_Page
K Framework sandbox online: http://www.kframework.org/tool/run/
K tools: http://www.kframework.org/index.php/K_tool_binaries
Talk demo & VM images with K Framework. Baidu disk address: https://pan.baidu.com/s/16sSitBZ-G7xJA1SRltdn1w pick code: qzbp

$\mathbb{K}$ is a rewrite-based executable semantic framework in which programming languages, type systems and formal analysis tools can be defined using configurations, computations and rules. Configurations organize the 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. Computations extend the original language abstract syntax. K (rewrite) rules make it explicit which parts of the term they read-only, write-only, read-write, or do not care about. This makes K suitable for defining truly concurrent languages even in the presence of sharing. Computations are like any other terms in a rewriting environment: they can be matched, moved from one place to another, modified, or deleted. This makes K suitable for defining control-intensive features such as abrupt termination, exceptions or call/cc.

Learn K: K Tutorial

Feel free to contact us via email if you are interested!