Connectivity between Abstraction Layers in Declarative ADT-Based Problem-Solving Processes

Bruria Haberman, Zahava Scherz. Connectivity between Abstraction Layers in Declarative ADT-Based Problem-Solving Processes. Informatics in Education, 8(1):3-16, 2009. [doi]

Abstract

Abstract is missing.