P. Tarau, V. Dahl, and A. Fall. Bactrackable state with linear assumptions, continuations and hidden accumulator grammars. Technical report, Logic Programming Group and Computing Sciences Department, Simon Fraser University, 1995. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Object Logic Integration: a Multiparadigm Design Methodology and .. - Lee, Pun (1997) (4 citations) (Correct)
....logic, which is designed to be a formalism to reason about static facts and relations. It is not suitable for modeling state change occurring during object interaction in the object oriented programming paradigm. Recently, there are a number of research proposals for non classical logic formalisms [18, 19, 20] to describe actions and changes. However, these formalisms are usually too complicated and cumbersome to be employed as the theoretical basis of a practical programming language and system. Object Oriented Emulation of Predicates There are several approaches to emulating components of the logic ....
P. Tarau, V. Dahl, and A. Fall. Bactrackable state with linear assumptions, continuations and hidden accumulator grammars. Technical report, Logic Programming Group and Computing Sciences Department, Simon Fraser University, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC