melange
melange copied to clipboard
Partial subtyping through transformation footprinting
Currently, a transformation can only be applied on models typed by the interface it specifies.