![]() |
Volumn 14, Issue 1, 1990, Pages 43-57
|
Behavioural correctness of data representations
|
Author keywords
[No Author keywords available]
|
Indexed keywords
MATHEMATICAL TECHNIQUES--ALGEBRA;
BEHAVIORAL CORRECTNESS;
DATA REPRESENTATIONS;
DATA TYPES;
COMPUTER PROGRAMMING LANGUAGES;
|
EID: 0025444459
PISSN: 01676423
EISSN: None
Source Type: Journal
DOI: 10.1016/0167-6423(90)90057-K Document Type: Article |
Times cited : (25)
|
References (23)
|