Sciweavers

933 search results - page 51 / 187
» Multi-paradigm Declarative Languages
Sort
View
JFPLC
1998
15 years 5 months ago
DF - a feature constraint system and its extension to a logic concurrent language
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
Liviu-Virgil Ciortuz
ENTCS
2006
120views more  ENTCS 2006»
15 years 4 months ago
SCHOOL: a Small Chorded Object-Oriented Language
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
Sophia Drossopoulou, Alexis Petrounias, Alex Buckl...
VLDB
1997
ACM
93views Database» more  VLDB 1997»
15 years 8 months ago
A Language for Manipulating Arrays
This paper describes the Array Manipulation Language (AML), an algebra for multidimensional array data. AML is generic, in the sense that it can be customized to support a wide va...
Arunprasad P. Marathe, Kenneth Salem
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
16 years 5 months ago
WOL: A Language for Database Transformations and Constraints
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
Susan B. Davidson, Anthony Kosky
BIRTHDAY
2008
Springer
15 years 6 months ago
The Reaction Algebra: A Formal Language for Event Correlation
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
César Sánchez, Matteo Slanina, Henny...