Blogs >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Sun 30 Oct 2016 11:45 - 12:10 at Matterhorn 1 - Second Session

The K-tool is a framework for programming language designers. It provides an environment in which users can denote the syntax and semantics of a programming language (PL). From the PL syntax declaration, the tool automatically generates (among other things) a parser for the language. For user convenience, the semantics of the PL can be described as rewrite rules between program congurations written in concrete syntax (not just abstract syntax). To provide this functionality, we developed a new technique for parsing programming language denitions.

Parsing in K Framework - Parsing@SLE slides (2016-10-30 - Parsing@SLE - Parsing in K Framework - pdf.pdf)1.48MiB

Sun 30 Oct

parsing2016
10:30 - 12:10: Parsing@SLE - Second Session at Matterhorn 1
parsing2016147781980000010:30 - 10:55
Talk
parsing2016147782130000010:55 - 11:20
Talk
File Attached
parsing2016147782280000011:20 - 11:45
Talk
File Attached
parsing2016147782430000011:45 - 12:10
Demonstration
File Attached