On Deriving Specialization Constraints over Complex Objects.

Minoru Ito, Michio Nakanishi

Browse the full DASFAA paper archive.