QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Abstract
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
DOI 10.1145/3122955.3122960
Related papers
- Quick specifications for the busy programmer JFP 2017
- SUIF Explorer: An Interactive and Interprocedural Parallelizer PPoPP 1999
- Equality Saturation Theory Exploration à la Carte OOPSLA 2023
- High-level effect handlers in C++ OOPSLA 2022
- Qualifying System F<: Some Terms and Conditions May Apply OOPSLA 2024
- Type qualifier inference for java OOPSLA 2007
- Flow-insensitive type qualifiers TOPLAS 2006
- Lightweight, generative variant exploration for high-performance graphics Applications GPCE 2015