26 citations · 48 across the 6 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2017
LTL Semantic Tableaux and Alternating -automata via Linear Factors
Martin Sulzmann, Peter Thiemann
Linear Temporal Logic (LTL) is a widely used specification framework for linear time properties of systems. The standard approach for verifying such properties is by transforming L…
cs.FL2017
A Computational Interpretation of Context-Free Expressions
Martin Sulzmann, Peter Thiemann
We phrase parsing with context-free expressions as a type inhabitation problem where values are parse trees and types are context-free expressions. We first show how containment am…
cs.FL2016
Derivatives for Enhanced Regular Expressions
Peter Thiemann
Regular languages are closed under a wealth of formal language operators. Incorporating such operators in regular expressions leads to concise language specifications, but the tran…