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 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 30 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 25mTalk | MADFAct—Constructing Dictionaries Parsing@SLE Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig, Germany, Loek Cleophas Eindhoven University of Technology, Bruce Watson Stellenbosch University; and Centre for AI Research, CSIR | ||
10:55 25mTalk | There’s more than one way to skin a cat Parsing@SLE Nate Nystrom University of Lugano File Attached | ||
11:20 25mTalk | Knowledge-Based Support for Domain Specific Language Generation Parsing@SLE Frank Coyle SMU File Attached | ||
11:45 25mDemonstration | Parsing in K-Framework Parsing@SLE Radu Mereuta Faculty of Computer Science, UAIC, Iasi, Romania File Attached | ||