Partial implementations of abstract data types: a dissenting view on errors.

Authors:
Samuel Kamin;Myla Archer
Affiliations:
Univ. of Illinois, Urbana, IL;Univ. of Illinois, Urbana, IL
Venue:
Proc. of the international symposium on Semantics of data types
Year:
1984

Citing 0
Cited 3

Procedural implementation of algebraic specification

ACM Transactions on Programming Languages and Systems (TOPLAS)
A new notion of encapsulation

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Engineering and theoretical underpinnings of retrenchment

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract