Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing.

Hendrik Winkelmann, Herbert Kuchen

Browse the full ENASE paper archive.