Supplementary Material for paper "Compilomorphism: A Principled Approach to Validating Compilers for Structured Data Pipelines."

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.