DSLTrans: A Turing Incomplete Transformation Language
No abstract available.
Related papers
- Abstract extensionality: on the properties of incomplete abstract interpretations POPL 2020
- Python Type Hints Are Turing Complete (Pearl/Brave New Idea) ECOOP 2023
- Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions APLAS 2023
- Verified programming of Turing machines in Coq CPP 2020
- Java generics are turing complete POPL 2017
- Design of an interpretive environment for Turing PLDI 1987
- Optimizing batched Winograd convolution on GPUs PPoPP 2020
- How Powerful are Folding/Unfolding Transformations? JFP 1994