Harvard Programming Languages Research
Popular repositories
-
-
-
accrue-bytecode
accrue-bytecode PublicInterprocedural Java byte code analysis framework together with several analyses. Notably includes a multi-threaded points-to analysis (flow-sensitive and flow-insensitive) and a PDG construction a…
-
dminor-in-formulog
dminor-in-formulog PublicA Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.
Java 5
Repositories
-
-
- ASPSynth-Clingo Public
Tool for Datalog synthesis-as-rule-selection that uses answer set programming (ASP)
-
- dminor-in-formulog Public
A Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.
- datalog-synth-smt-asp-artifact Public
Artifact for the paper "From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems"
-