Sciweavers

SCP
1998
68views more  SCP 1998»
13 years 2 months ago
A Sound Polymorphic Type System for a Dialect of C
Geoffrey Smith, Dennis M. Volpano
SCP
1998
113views more  SCP 1998»
13 years 2 months ago
Linear-Time Hierarchies for a Functional Language Machine Model
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
Eva Rose
SCP
1998
107views more  SCP 1998»
13 years 2 months ago
A Distributed Arc-Consistency Algorithm
Consistency techniques are an e cient way of tackling constraint satisfaction problems (CSP). In particular, various arc-consistency algorithms have been designed such as the time...
T. Nguyen, Yves Deville
SCP
1998
134views more  SCP 1998»
13 years 2 months ago
Abstract Interpretation Using Typed Decision Graphs
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...
Laurent Mauborgne
SCP
1998
163views more  SCP 1998»
13 years 2 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
SCP
1998
69views more  SCP 1998»
13 years 2 months ago
Coordination in the ImpUNITY Framework
Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udin...
SCP
1998
112views more  SCP 1998»
13 years 2 months ago
Structured Gamma
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
Pascal Fradet, Daniel Le Métayer
SCP
1998
138views more  SCP 1998»
13 years 2 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara