Supplementary Material for paper "Compilomorphism: A Principled Approach to Validating Compilers for Structured Data Pipelines."
Year: 2025
Type: supplementary-materials
Abstract: This deposit contains the supplementary Alloy model (toy_compilomorphism.als) for the paper "Compilomorphism: A Principled Approach to Validating Compilers for Structured Data Pipelines." The model provides a simplified, illustrative encoding of the core compilomorphism concepts. To run the model: 1. Download and install the Alloy Analyzer (alloytools.org) and Java.2. Open `toy_compilomorphism.als` in the Alloy Analyzer.3. Execute the `check` and `run` commands found at the end of the file. Detailed instructions, including expected outcomes for each command, are provided in the README.md file included in this deposit.
Author: Anonymous
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W6930706858
Cites:
Cited by:
Related to: