The first year of our computer science degree begins with a subject based around the lazy functional language Miranda, and is followed by a subject using ANSI C. We discuss the C subject, and how Miranda has been utilised within it. In particular, Miranda is used as a specification language for Abstract Data Types (ADTs), which demonstrates the utility of its high level features for developing reusable code. C versions of these ADTs are also developed, which allows a comparison of the two languages and their programming paradigms.
CITATION STYLE
Davison, A. (1995). Teaching C after Miranda. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1022, pp. 35–50). Springer Verlag. https://doi.org/10.1007/3-540-60675-0_37
Mendeley helps you to discover research relevant for your work.