Browsing School of Computer Science and Informatics by Subject "transformations"

What does it mean to say that one program is "more abstract" than another? What is "abstract" about an abstract data type? What is the difference between a "high-level" program and a "low-level" program? In this paper we ...