Blogs (9) >>
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.49MiB

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Second SessionParsing@SLE at Matterhorn 1
10:30
25m
Talk
MADFAct—Constructing Dictionaries
Parsing@SLE
Tobias RungeTU Braunschweig, Ina SchaeferTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR
10:55
25m
Talk
There’s more than one way to skin a cat
Parsing@SLE
Nate NystromUniversity of Lugano
File Attached
11:20
25m
Talk
Knowledge-Based Support for Domain Specific Language Generation
Parsing@SLE
File Attached
11:45
25m
Demonstration
Parsing in K-Framework
Parsing@SLE
Radu MereutaFaculty of Computer Science, UAIC, Iasi, Romania
File Attached