A Framework for Computer-Aided Design of Educational Domain Models
No abstract available.
Related papers
- The semantics of name resolution in grace DLS 2017
- A Lineage-Based Referencing DSL for Computer-Aided Design PLDI 2023
- Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations OOPSLA 2016
- MLIR: Scaling Compiler Infrastructure for Domain Specific Computation CGO 2021
- The Modular Framework of Computer-Aided Verification CAV 1990
- Finding code that explodes under symbolic evaluation OOPSLA 2018
- Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs CPP 2012
- A lightweight symbolic virtual machine for solver-aided host languages PLDI 2014