A constructive method for abstract algebraic software specification

Authors:
Herbert A. Klaeren
Affiliations:
Lehrstuhl fur Informatik II, Aachen, Fed. Rep. Germany
Venue:
Theoretical Computer Science
Year:
1984

Citing 0
Cited 4

Compiling Fibonacci-like recursion

ACM SIGPLAN Notices
Algorithmic specifications: a constructive specification method for abstract data types

ACM Transactions on Programming Languages and Systems (TOPLAS)
An algebraic data type specification language and its rapid prototyping environment

ICSE '89 Proceedings of the 11th international conference on Software engineering
Relationally defined clones of tree functions closed under selection or primitive recursion

Acta Cybernetica

Quantified Score

Hi-index	5.23

Visualization

Abstract