Cohen, Donald

4 publications

AAAI 1986 Automatic Compilation of Logical Specifications into Efficient Programs Donald Cohen

IJCAI 1985 Automating Program Speedup by Deciding What to Cache Jack Mostow, Donald Cohen

AAAI 1984 A Forward Inference Engine to Aid in Understanding Specifications Donald Cohen

IJCAI 1983 Symbolic Execution of the Gist Specification Language Donald Cohen