1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2017★ 1 cited
Bridging Static and Dynamic Program Analysis using Fuzzy Logic
Jacob Lidman, Josef Svenningsson
Static program analysis is used to summarize properties over all dynamic executions. In a unifying approach based on 3-valued logic properties are either assigned a definite value…
cs.PL2016
Embedding by Normalisation
Shayan Najd, Sam Lindley, Josef Svenningsson +1
This paper presents the insight that practical embedding techniques, commonly used for implementing Domain-Specific Languages, correspond to theoretical Normalisation-By-Evaluation…