Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
When can an optimizing compiler reorder the evaluation of parts of an expression? Should the definition of a language permit reordering? A common micsonception about the relation between semantics and optimization is analyzed in two contexts: numerical programming in procedural languages and nonnumerical programming in very high level languages. © 1974, ACM. All rights reserved.
Barry K. Rosen
SWAT 1972
Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Chidanand Apte, Se June Hong, et al.
Intelligent Data Analysis
George Markowsky, Barry K. Rosen
FOCS 1975