research
∙
11/21/2022
Higher-Order, Data-Parallel Structured Deduction
State-of-the-art Datalog engines include expressive features such as ADT...
share
research
∙
07/27/2021
So You Want to Analyze Scheme Programs With Datalog?
Static analysis approximates the results of a program by examining only ...
research
∙
08/06/2018
Size-Change Termination as a Contract
Program termination is an undecidable, yet important, property relevant ...
research
∙
07/24/2018
Racets: Faceted Execution in Racket
Faceted Execution is a linguistic paradigm for dynamic information-flow ...
research
∙
11/09/2017
