Implementing Denotational Semantics with Logic Programming

Ken Slonneger. Implementing Denotational Semantics with Logic Programming. In ACM Conference on Computer Science. pages 337-344, 1992. [doi]

Abstract

Abstract is missing.