Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
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.
Barry K. Rosen
SWAT 1972
Chidanand Apte, Se June Hong, et al.
Intelligent Data Analysis
Dhananjay M. Dhamdhere, Barry K. Rosen, et al.
ACM SIGPLAN Notices
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications