Program analysis and optimization through kernel-control decomposition Terrence Pratt OriginalPaper Pages: 195 - 216
Design and correctness of a compiler for a non-procedural language Christoph M. Hoffmann OriginalPaper Pages: 217 - 241
Orthogonality of information structures Armin B. CremersThomas N. Hibbard OriginalPaper Pages: 243 - 261
Bin packing: Maximizing the number of pieces packed E. G. Coffman Jr.J. Y. -T. LeungD. W. Ting OriginalPaper Pages: 263 - 271