Design several well-known example in AIE such as FileSystem or AddressBook of Alloy, BirthdayBook of Spivey Z, or Theory of Lists presented by Emina Torlak etc.
ferhaterata opened this issue · 0 comments
ferhaterata commented
"Theory of Lists" might be an interesting example for demonstration of AlloyInEcore since it can be also extended with generic types as well.
https://ocw.mit.edu/ans7870/6/6.005/s16/classes/16-recursive-data-types/recursive/