|
|
Volumn 37, Issue 9, 1994, Pages 795-813
|
|
Reverse engineering through formal transformation: Knuth's 'polynomial addition' algorithm
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL LINGUISTICS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER PROGRAM LISTINGS;
POLYNOMIALS;
PROGRAMMING THEORY;
FOUR DIRECTIONAL LINKS;
REVERSE ENGINEERING;
SEMANTICS PRESERVING OPERATION;
WIDE SPECTRUM LANGUAGE;
ALGORITHMS;
|
|
EID: 0028743608
PISSN: 00104620
EISSN: None
Source Type: Journal
DOI: 10.1093/comjnl/37.9.795 Document Type: Article |
|
Times cited : (27)
|
|
References (45)
|
