Results 1  10
of
149,646
Constructorbased Observational Logic ⋆
"... This paper focuses on the integration of reachability and observability concepts within an algebraic, institutionbased framework. In the first part of this work, we develop the essential ingredients that are needed to define the constructorbased observational logic institution, called COL, which ta ..."
Abstract
 Add to MetaCart
This paper focuses on the integration of reachability and observability concepts within an algebraic, institutionbased framework. In the first part of this work, we develop the essential ingredients that are needed to define the constructorbased observational logic institution, called COL, which
Constructorbased Conditional Narrowing
 In Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001
, 2001
"... We define a transformation from a leftlinear constructorbased conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound and complete for the computations in the source system. Since there exists a sound and complete narrowing strategy for t ..."
Abstract

Cited by 58 (25 self)
 Add to MetaCart
We define a transformation from a leftlinear constructorbased conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound and complete for the computations in the source system. Since there exists a sound and complete narrowing strategy
On Constructorbased Graph Rewriting Systems
 RESEARCH REPORT 985I, IMAG
, 1997
"... We address the problem of graph rewriting as the underlying operational semantics of rulebased programming languages. We define a new optimal graph rewriting strategy in the setting of orthogonal constructorbased graph rewriting systems. For this purpose, we first characterize a subset of graphs, ..."
Abstract

Cited by 18 (3 self)
 Add to MetaCart
We address the problem of graph rewriting as the underlying operational semantics of rulebased programming languages. We define a new optimal graph rewriting strategy in the setting of orthogonal constructorbased graph rewriting systems. For this purpose, we first characterize a subset of graphs
Term Rewriting Systems
, 1992
"... Term Rewriting Systems play an important role in various areas, such as abstract data type specifications, implementations of functional programming languages and automated deduction. In this chapter we introduce several of the basic comcepts and facts for TRS's. Specifically, we discuss Abstra ..."
Abstract

Cited by 613 (18 self)
 Add to MetaCart
Term Rewriting Systems play an important role in various areas, such as abstract data type specifications, implementations of functional programming languages and automated deduction. In this chapter we introduce several of the basic comcepts and facts for TRS's. Specifically, we discuss
Observational Logic, ConstructorBased Logic, and their Duality
, 2002
"... Observability and reachability are important concepts for formal software development. While observability concepts are used to specify the required observable behavior of a program or system, reachability concepts are used to describe the underlying data in terms of datatype constructors. In this p ..."
Abstract

Cited by 13 (1 self)
 Add to MetaCart
. In this paper we first reconsider the observational logic institution which provides a logical framework for dealing with observability. Then we develop in a completely analogous way the constructorbased logic institution which formalizes a novel treatment of reachability. Both institutions are tailored
ABSTRACT Constructorbased Conditional Narrowing ∗
"... We define a transformation from a leftlinear constructorbased conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound and complete for the computations in the source system. Since there exists a sound and complete narrowing strategy for th ..."
Abstract
 Add to MetaCart
We define a transformation from a leftlinear constructorbased conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound and complete for the computations in the source system. Since there exists a sound and complete narrowing strategy
Logic Programming with Constructorbased Type Constraints
"... A concept of types and type sorts for logic programming is introduced, where types and type sorts are regarded as constraints. Instead of defining "wellsorted" terms and substitutions, type constraints and type sort constraints are defined. The approach is based on term models. A type is ..."
Abstract
 Add to MetaCart
A concept of types and type sorts for logic programming is introduced, where types and type sorts are regarded as constraints. Instead of defining "wellsorted" terms and substitutions, type constraints and type sort constraints are defined. The approach is based on term models. A type
GOLOG: A Logic Programming Language for Dynamic Domains
, 1994
"... This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allo ..."
Abstract

Cited by 621 (72 self)
 Add to MetaCart
for applications in high level control of robots and industrial processes, intelligent software agents, discrete event simulation, etc. It is based on a formal theory of action specified in an extended version of the situation calculus. A prototype implementation in Prolog has been developed.
A Framework for Defining Logics
 JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
, 1993
"... The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed calculus with dependent types. Syntax is treated in a style similar to, but more general than, MartinLof's system of ariti ..."
Abstract

Cited by 807 (45 self)
 Add to MetaCart
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed calculus with dependent types. Syntax is treated in a style similar to, but more general than, MartinLof's system
Results 1  10
of
149,646