On the power of conditional specifications

Authors:
Fernando Orejas
Affiliations:
Universidad Complutense, Madrid, Spain
Venue:
ACM SIGPLAN Notices
Year:
1979

Citing 1
Cited 1

Data type specification: Parameterization and the power of specification techniques

STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing

Data Type Specification: Parameterization and the Power of Specification Techniques

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract