Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
A total of twelve studies of design problem solving are briefly reviewed. The rationale for the range of methodologies used is explicated. Some salient resulta of the experiments are reported. Conclusions about the utility of various methodologies for studying design, steps towards a theory of design, and suggestions for aids to the design process with particular emphasis software design conclude the paper. © 1979.
Barry K. Rosen
SWAT 1972
Guojing Cong, David A. Bader
Journal of Parallel and Distributed Computing
Erik Altman, Jovan Blanusa, et al.
NeurIPS 2023
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995