Results 1  10
of
26,939
Logic Program Schemas, Constraints and SemiUnification
 In Proc. of LOPSTR’97, volume 1463 of LNCS
, 1998
"... . Program schemas are known to be useful in different applications such as program synthesis, transformation, analysis, debugging, teaching : : : This paper tackles two complementary aspects of program schemas. We first propose a language for the description of program schemas. It is based on a subs ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
subset of secondorder logic, enhanced with constraints and specific features of program schemas. One of the basic operations on schemas is the semiunification of a schema with a program. We then express the semiunification process over schemas as rewriting and reduction rules, using CLP techniques
Logic Program Schemas, SemiUnification and Constraints
 In: N.E. Fuchs (ed), Proc. of LOPSTR'97 (this volume
"... The use of schemas is a classical way of synthesizing, transforming and analyzing logic programs. Operations on schemas are needed, in particular, the semiunification of schemas with programs. Since schemas are secondorder objects, the related semiunification is the secondorder semiunification, ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
, which is decidable but NPcomplete. The nondeterminism implied by the NPcompleteness slows down the search for a substitution. The present paper expresses the semiunification process over schemas as rewriting and reduction rules. Global and local constraints are associated to the schema to extend
On QuasiMonadic SemiUnification
, 1991
"... Semiunification is a generalization of both unification and matching with applications in proof theory, term rewriting systems, polymorphic type inference, and natural language processing. It is the problem of solving a set of term inequalities M1 ≤ N1,..., Mk ≤ Nk, where ≤ is interpreted as the su ..."
Abstract
 Add to MetaCart
Semiunification is a generalization of both unification and matching with applications in proof theory, term rewriting systems, polymorphic type inference, and natural language processing. It is the problem of solving a set of term inequalities M1 ≤ N1,..., Mk ≤ Nk, where ≤ is interpreted
Fast leftlinear semiunification
 In Proc. Int’l. Conf. on Computing and Information
, 1990
"... Semiunification is a generalization of both unification and matching with applications in proof theory, term rewriting systems, polymorphic type inference, and natural language processing. It is the problem of solving a set of term inequalities M1 ≤ N1,..., Mk ≤ Nk, where ≤ is interpreted as the su ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
Semiunification is a generalization of both unification and matching with applications in proof theory, term rewriting systems, polymorphic type inference, and natural language processing. It is the problem of solving a set of term inequalities M1 ≤ N1,..., Mk ≤ Nk, where ≤ is interpreted
A General Theory of SemiUnification
, 1993
"... Various restrictions on the terms allowed for substitution give rise to different cases of semiunification. Semiunification on finite and regular terms has already been considered in the literature. We introduce a general case of semiunification where substitutions are allowed on nonregular term ..."
Abstract
 Add to MetaCart
Various restrictions on the terms allowed for substitution give rise to different cases of semiunification. Semiunification on finite and regular terms has already been considered in the literature. We introduce a general case of semiunification where substitutions are allowed on non
Fast Algorithms for Uniform SemiUnification
, 1999
"... We present a fast algorithm for uniform semiunification based on adapting the Huet unification closure method for standard unification. It solves the following decision problem in O(n 2 ff(n) 2 ), where n is the size of the two terms, and ff is the functional inverse of Ackermann 's funct ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
We present a fast algorithm for uniform semiunification based on adapting the Huet unification closure method for standard unification. It solves the following decision problem in O(n 2 ff(n) 2 ), where n is the size of the two terms, and ff is the functional inverse of Ackermann &apos
Logic Program Schemas, Constraints and
 In Proc. of LOPSTR’97, volume 1463 of LNCS
, 1998
"... Program schemas are known to be useful in different applications such as program synthesis, transformation, analysis, debugging, teaching :::This paper tackles two complementary aspects of program schemas. We first propose a language for the description of program schemas. It is based on a subse ..."
Abstract
 Add to MetaCart
subset of secondorder logic, enhanced with constraints and specific features of program schemas. One of the basic operations on schemas is the semiunification of a schema with a program. We then express the semiunification process over schemas as rewriting and reduction rules, using CLP techniques
Semiunification of Two Terms in Abelian Groups
, 1994
"... A substitution oe AGsemiunifies the inequation s ? AG t iff there is another substitution ae such that ae(oe(s)) =AG oe(t), where =AG is equality in Abelian groups. I give an algorithm that decides if an inequation has an AGsemiunifier and, if so, returns a most general one. This is a firs ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
first step towards type derivation in programming languages with dimension types and polymorphic recursion. Key words: algorithms; Abelian groups; equational semiunification; programming languages; compilers; dimension types; polymorphic recursion. 1 Introduction This article describes an algebraic
A Decidable Case of the SemiUnification Problem (Draft Version)
, 1991
"... Semiunification is a common generalization of unification and matching. The semiunification problem is to decide solvability of finite sets of equations s = t and inequations ˜s ≤i ˜t between firstorder terms, with different inequality relations ≤i, i ∈ I. A solution consists of a substitution T0 ..."
Abstract
 Add to MetaCart
Semiunification is a common generalization of unification and matching. The semiunification problem is to decide solvability of finite sets of equations s = t and inequations ˜s ≤i ˜t between firstorder terms, with different inequality relations ≤i, i ∈ I. A solution consists of a substitution T0
A Compositional Approach to Performance Modelling
, 1996
"... Performance modelling is concerned with the capture and analysis of the dynamic behaviour of computer and communication systems. The size and complexity of many modern systems result in large, complex models. A compositional approach decomposes the system into subsystems that are smaller and more ea ..."
Abstract

Cited by 746 (102 self)
 Add to MetaCart
easily modelled. In this thesis a novel compositional approach to performance modelling is presented. This approach is based on a suitably enhanced process algebra, PEPA (Performance Evaluation Process Algebra). The compositional nature of the language provides benefits for model solution as well
Results 1  10
of
26,939