Computer-Aided Building of a Compiler: An Example (Abstract)
Abstract elided by the publisher.
Related papers
- Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper) ECOOP 2023
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
- SpaceSearch: a library for building and verifying solver-aided tools ICFP 2017
- Functional programming for compiling and decompiling computer-aided design ICFP 2018
- Format abstraction for sparse tensor algebra compilers OOPSLA 2018
- Cape: compiler-aided program transformation for HTM-based cache side-channel defense CC 2022
- Hampa: Solver-Aided Recency-Aware Replication CAV 2020
- Termination checking and task decomposition for task-based intermittent programs CC 2018