8 citations · 8 across the 2 of their papers we have counts for
4 papers
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…
TreatJS: Higher-Order Contracts for JavaScript
Matthias Keil, Peter Thiemann
TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building…
Transparent Object Proxies for JavaScript
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel +2
Proxies are the swiss army knives of object adaptation. They introduce a level of indirection to intercept select operations on a target object and divert them as method calls to a…
A Falsification View of Success Typing
Robert Jakob, Peter Thiemann
Dynamic languages are praised for their flexibility and expressiveness, but static analysis often yields many false positives and verification is cumbersome for lack of structure.…