This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Toy Language Syndrome
January 1978 (vol. 4 no. 1)
pp. 76-77
B.K. Rosen, Computer Sciences Department, IBM Thomas J. Watson Research Center
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.
Index Terms:
side effects, Available expressions, call by name, call by value, code optimization, language design, live variables, parallel program, program proving, program verification
Citation:
B.K. Rosen, "The Toy Language Syndrome," IEEE Transactions on Software Engineering, vol. 4, no. 1, pp. 76-77, Jan. 1978, doi:10.1109/TSE.1978.231471
Usage of this product signifies your acceptance of the Terms of Use.