- Oscar Waddell, R. Kent Dybvig:
Fast and Effective Procedure Inlining. SAS 1997: 35-52 - Kwangkeun Yi, Sukyoung Ryu:
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. SAS 1997: 98-113 - Frank Zartmann:
Denotational Abstract Interpretation of Functional Logic Programs. SAS 1997: 141-159 - Pascal Van Hentenryck:
Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings. Lecture Notes in Computer Science 1302, Springer 1997, ISBN 3-540-63468-1 [contents]