DocumentCode
748913
Title
The Toy Language Syndrome
Author
Rosen, Barry K.
Author_Institution
Computer Sciences Department, IBM Thomas J. Watson Research Center
Issue
1
fYear
1978
Firstpage
76
Lastpage
77
Abstract
Theorists and implementers can easily interact in such a way that software performs improperly, even if there are no mathematical mistakes in the theory and no coding bugs in the implementation. This correspondence explains the problem and some ways to cope with it. Examples are drawn from program proving, language design, and code optimization.
Keywords
Available expressions; call by name; call by value; code optimization; language design; live variables; parallel program; program proving; program verification; side effects; Computer bugs; Computer errors; Design optimization; Error correction; Extrapolation; Reliability theory; Software engineering; Software performance; Writing; Available expressions; call by name; call by value; code optimization; language design; live variables; parallel program; program proving; program verification; side effects;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1978.231471
Filename
1702494
Link To Document