Abstract programming includes two important approaches which are called functional and relational. We choose algebraic specification and the programming language Prolog as representatives of the two approaches to study the relation between them.
CITATION STYLE
Drosten, K. (1988). Translating algebraic specifications to Prolog programs: A comparative study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 343 LNCS, pp. 137–146). Springer Verlag. https://doi.org/10.1007/3-540-50667-5_65
Mendeley helps you to discover research relevant for your work.