Code Snippets Alloy

Short texts Alloy 🧑‍💻 Code snippets Alloy ✍️ Reading lists Alloy 👀

Javatypes Model

/* * A simple model of typing in Java. * * This model describes the basic notions of typing in Java. * It ignores primitive types and null references. Each type has * some set of subtypes. Types are partitioned into class and * interface types. Object is a particular class. * * The fact […]