12:15

Block-Based Syntax from Context-Free Grammars

ACM SIGPLAN

15:50

Modular and Distributed IDE

ACM SIGPLAN

14:41

Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers

ACM SIGPLAN

15:20

Example-Driven Software Language Engineering

ACM SIGPLAN

14:49

A Semantic Framework for PEGs

ACM SIGPLAN

14:55

Strategic Tree Rewriting in Attribute Grammars

ACM SIGPLAN

15:03

Behavior Trees in Action: A Study of Robotics Applications

ACM SIGPLAN

15:05

Monadification of Attribute Grammars

ACM SIGPLAN

16:17

Untangling Mechanized Proofs

ACM SIGPLAN

12:25

Featherweight Swift: A Core Calculus for Swift’s Type System

ACM SIGPLAN

13:42

Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata

ACM SIGPLAN

10:04

Towards the Optical Character Recognition of DSLs

ACM SIGPLAN

16:23

Extrinsically Typed Operational Semantics for Functional Languages

ACM SIGPLAN

15:27

An Interactive Feedback System for Grammar Development (Tool Paper)

ACM SIGPLAN

14:39

Principles and Patterns of JastAdd-Style Reference Attribute Grammars

ACM SIGPLAN

16:21

Software Language Engineers’ Worst Nightmare

ACM SIGPLAN

16:09

A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation

ACM SIGPLAN

15:36

A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Gramm

ACM SIGPLAN

15:50

Annotating Executable DSLs with Energy Estimation Formulas

ACM SIGPLAN

12:44

A Family of Languages for Trustworthy Agent-Based Simulation

ACM SIGPLAN

15:48

Gradually Typing Strategies

ACM SIGPLAN

40:01

GPCE/SLE Opening

ACM SIGPLAN