CPQ Keys is a framework for evaluating canonization algorithms
-
Updated
Dec 14, 2022 - Java
CPQ Keys is a framework for evaluating canonization algorithms
The SubTiger language is the subset of the Tiger language. Currently, the language supports only integers, but would be extended to strings and floating point computation. Currently, the compiler compiles to MIPS assembly code, which can be run using SPIM simulator.
"Publication bias and the canonization of false facts" published in eLife (2016)
Add a description, image, and links to the canonization topic page so that developers can more easily learn about it.
To associate your repository with the canonization topic, visit your repo's landing page and select "manage topics."