Symbolic Evaluation using Conceptual Representations for Programs with Side-effects." AI-Memo (1976)

by A Yonezawa, C Hewitt
Venue:No.399, Artificial Intelligence Laboratory, MIT