Dhananjay M. Dhamdhere, Barry K. Rosen, et al.
ACM SIGPLAN Notices
Paper
The Toy Language Syndrome
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. Copyright © 1978 by The Institute of Electrical and Electronics Engineers, Inc.
Related
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Conference paper
Incremental evaluation of computational circuits
Bowen Alpern, Roger Hoover, et al.
SODA 1990