Results 1  10
of
10
A Hardware Implementation of Pure Esterel
 ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, INDIAN ACADEMY OF SCIENCES, SADHANA
, 1991
"... Esterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, manmachine interfaces, etc.). Esterel has an efficient standard software implementation based on welldefined mathematical semantics. We present a new hardware implementation of the pure ..."
Abstract

Cited by 66 (3 self)
 Add to MetaCart
Esterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, manmachine interfaces, etc.). Esterel has an efficient standard software implementation based on welldefined mathematical semantics. We present a new hardware implementation of the pure synchronization subset of the language. Each program generates a specific circuit that responds to any input in one clock cycle. When the source program satisfies some statically checkable dynamic properties, the circuit is shown to be semantically equivalent to the source program. The hardware translation has been effectively implemented on the programmable active memory Perle0 developed by J. Vuillemin and his group at Digital Equipment.
19831993: The Wonder Years of Sequential Prolog Implementation
, 1993
"... This report surveys the major developments in sequential Prolog implementation during the period 19831993. In this decade, implementation technology has matured to such a degree that Prolog has left the university and become useful in industry. The survey is divided into four parts. The first part ..."
Abstract

Cited by 50 (4 self)
 Add to MetaCart
This report surveys the major developments in sequential Prolog implementation during the period 19831993. In this decade, implementation technology has matured to such a degree that Prolog has left the university and become useful in industry. The survey is divided into four parts. The first part gives an overview of the important technical developments starting with the Warren Abstract Machine (WAM). The second part presents the history and the contributions of the major software and hardware systems. The third part charts the evolution of Prolog performance since Warren's DEC10 compiler. The fourth part extrapolates current trends regarding the evolution of sequential logic languages, their implementation, and their role in the marketplace.
Inferring Graphical Constraints with Rockit
"... Rockit is a system that identifies the possible graphical constraints between objects in a twodimensional scene and allows the user to choose and apply the desired constraints quickly and easily. Rockit looks for intersections between the position of a designated object and the gravity fields of o ..."
Abstract

Cited by 31 (5 self)
 Add to MetaCart
Rockit is a system that identifies the possible graphical constraints between objects in a twodimensional scene and allows the user to choose and apply the desired constraints quickly and easily. Rockit looks for intersections between the position of a designated object and the gravity fields of other objects to determine the possible constraints. These candidate constraints are passed to a rule system that encodes some simple knowledge about how graphical objects normally interact and can thus be constrained to one another. The rules are used to determine the most likely constraints to be applied between the designated object and the other objects in the scene. As the user manipulates the object, the object will gravitate towards the most likely constraint scenario. The inferred constraints are indicated by the creation of graphical and sonic feedback objects. Rockit makes it easy to try other likely scenarios by simply pressing a key, causing the system to cycle through the other p...
A Feature Constraint System for Logic Programming with Entailment
 THEORETICAL COMPUTER SCIENCE
, 1992
"... We introduce a constraint system called FT. This system offers a theoretical and practical alternative to the usual Herbrand system of constraints over constructor trees. Like Herbrand, FT provides a universal data structure based on trees. However, the trees of FT (called feature trees) are more g ..."
Abstract

Cited by 15 (1 self)
 Add to MetaCart
We introduce a constraint system called FT. This system offers a theoretical and practical alternative to the usual Herbrand system of constraints over constructor trees. Like Herbrand, FT provides a universal data structure based on trees. However, the trees of FT (called feature trees) are more general than the constructor trees of Herbrand, and the constraints of FT are of finer grain and of different expressiveness. The essential novelty of FT is provided by functional attributes called features which allow representing data as extensible records, a more flexible way than that offered by Herbrand's fixed arity constructors. The feature tree structure determines an algebraic semantics for FT. We establish a logical semantics thanks to three axiom schemes presenting the firstorder theory FT. We propose using FT as a constraint system for logic programming. We provide a test for constraint unsatisfiability, and a test for constraint entailment. The former corresponds to unification ...
Incremental Computation of Planar Maps
, 1989
"... A planar map is a figure formed by a set of intersecting lines and curves. Such an object captures both the geometrical and the topological information implicitly defined by the data. In the context of 2D drawing, it provides a new interaction paradigm, map sketching, for editing graphic shapes. To ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
A planar map is a figure formed by a set of intersecting lines and curves. Such an object captures both the geometrical and the topological information implicitly defined by the data. In the context of 2D drawing, it provides a new interaction paradigm, map sketching, for editing graphic shapes. To build a planar map, one must compute curve intersections and deduce from them the map they define. The computed topology must be consistent with the underlying geometry. Robustness of geometric computations is a key issue in this process. This report presents a robust solution to Bezier curve intersection that uses exact forward differencing and bounded rational arithmetic. Data structures and algorithms supporting incremental insertion of Bezier curves in a planar map are described. A prototype illustration tool using this method is also discussed. R esum e Considerons la figure plane formee par un ensemble de segments de droite et d'arcs de courbe intersectants. Une carte planaire est une ...
Functions as Passive Constraints in LIFE
 ACM Transactions on Programming Languages and Systems
, 1994
"... LIFE is an experimental programming language proposing to integrate logic programming, functional programming, and objectoriented programming. It replaces firstorder terms with ψterms, data structures which allow computing with partial information. These are approximation structures denoting se ..."
Abstract

Cited by 12 (4 self)
 Add to MetaCart
LIFE is an experimental programming language proposing to integrate logic programming, functional programming, and objectoriented programming. It replaces firstorder terms with ψterms, data structures which allow computing with partial information. These are approximation structures denoting sets of values. LIFE further enriches the expressiveness of ψterms with functional dependency constraints. We must explain the meaning and use of functions in LIFE declaratively as solving partial information constraints. These constraints do not attempt to generate their solutions but behave as demons filtering out anything else.
Automatic Motion Planning for Complex Articulated Bodies
, 1991
"... Much research has been devoted to path planning during the past decade, i.e. the geometrical problem of finding a collisionfree path between two given postures (configurations) of an articulated body (robot) among obstacles. This problem has straightforward applications in robotic automation, compu ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
Much research has been devoted to path planning during the past decade, i.e. the geometrical problem of finding a collisionfree path between two given postures (configurations) of an articulated body (robot) among obstacles. This problem has straightforward applications in robotic automation, computer aided design, and computer graphics animation. Current global techniques compute explicitly the noncolliding zones in configuration space. Thus, they require exponential space and time in the number of Degrees of Freedom (DOF) of the body. These methods are therefore untractable for more than 4 DOF. This report presents a new approach to path planning which does not require construction of an explicit description of the configuration space. The method consists of building and searching a graph connecting the local minima of a potential function defined over the configuration space. The graph is explored by means of a randomization technique that escapes the local minima by executing Bro...
9 Constructive Logics. Part II: Linear Logic and Proof Nets
, 1991
"... This work was done while the author was on sabbatical leave from the University of ..."
Abstract
 Add to MetaCart
This work was done while the author was on sabbatical leave from the University of
Digital Equipment Corporation 1991
"... The purpose of this paper is to give an exposition of material dealing with constructive logics, typed calculi, and linear logic. The first part of this paper gives an exposition of background material (with the exception of the Girardtranslation of classical logic into intuitionistic logic, which ..."
Abstract
 Add to MetaCart
The purpose of this paper is to give an exposition of material dealing with constructive logics, typed calculi, and linear logic. The first part of this paper gives an exposition of background material (with the exception of the Girardtranslation of classical logic into intuitionistic logic, which is new). This second part is devoted to linear logic and proof nets. Particular attention is given to the algebraic semantics (in Girard's terminology, phase semantics) of linear logic. We show how phase spaces arise as an instance of a Galois connection. We also give a direct proof of the correctness of the DanosRegnier criterion for proof nets. This proof is based on a purely graphtheoretic decomposition lemma. As a corollary, we give an O(n 2 )time algorithm for testing whether a proof net is correct. Although the existence of such an algorithm has been announced by Girard, our algorithm appears to be original. R esum e Le but de cet article est de donner une presentation d'elements...