Sciweavers

6829 search results - page 105 / 1366
» Quantitative Generalizations of Languages
Sort
View
AEI
1999
89views more  AEI 1999»
15 years 4 months ago
The structure of a physical behaviour description facility
Many computer simulations, experimental testing and monitoring of physical systems produce vast amounts of quantitative data. These data have always been assimilated by trained an...
S. Chandra
LISP
2000
96views more  LISP 2000»
15 years 4 months ago
Continuations: A Mathematical Semantics for Handling Full Jumps
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
Christopher Strachey, Christopher P. Wadsworth
FSTTCS
2008
Springer
15 years 5 months ago
Boolean algebras of unambiguous context-free languages
Several recent works have studied subfamilies of deterministic context-free languages with good closure properties, for instance the families of input-driven or visibly pushdown la...
Didier Caucal
128
Voted
MDAFA
2004
Springer
124views Hardware» more  MDAFA 2004»
15 years 10 months ago
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture
In the Meta Object Facility (MOF) meta-modeling architecture a number of model transformation scenarios can be identified. It could be expected that a meta-modeling architecture wi...
Ivan Kurtev, Klaas van den Berg
154
Voted
CIKM
2006
Springer
15 years 8 months ago
A data stream language and system designed for power and extensibility
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
Yijian Bai, Hetal Thakkar, Haixun Wang, Chang Luo,...