A Language Independent Task Engine for Incremental Name and Type Analysis
No abstract available.
Related papers
- Incremental type-checking for free: using scope graphs to derive incremental type-checkers OOPSLA 2022
- Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs SAS 1996
- Finding Cross-Rule Optimization Bugs in Datalog Engines OOPSLA 2024
- VarSem: declarative expression and automated inference of variable usage semantics GPCE 2020
- Shadow models: incremental transformations for MPS SLE 2019
- T-thinker: a task-centric distributed framework for compute-intensive divide-and-conquer algorithms PPoPP 2019
- Incremental analysis of constraint logic programs TOPLAS 2000
- A co-contextual formulation of type rules and its application to incremental type checking OOPSLA 2015