Towards correct object-oriented design frameworks in computational logic

• Authors:

• Kung-Kiu Lau;Mario Ornaghi

• Affiliations:

• Department of Computer Science, University of Manchester, Manchester, United Kingdom;Dipartimento di Scienze dell’Informazione, Universita’ degli studi di Milano, Milano, Italy

• Venue:
• LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
• Year:
• 2002