26 citations · 71 across the 22 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.FL2016
Partial Derivatives for Context-Free Languages: From -Regular Expressions to Pushdown Automata
Peter Thiemann
We extend Antimirov's partial derivatives from regular expressions to -regular expressions that describe context-free languages. We prove the correctness of partial derivatives…
cs.PL2016
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
We consider the problem of static deadlock detection for programs in the Go programming language which make use of synchronous channel communications. In our analysis, regular expr…
cs.FL2016★ 3 cited
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…