Alma-O: An Imperative Language That Supports Declarative Programming

Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf. Alma-O: An Imperative Language That Supports Declarative Programming. ACM Transactions on Programming Languages and Systems, 20(5):1014-1066, 1998. [doi]

Abstract

Abstract is missing.