899 search results - page 156 / 180 » Implementing declarative overlays |
ATAL
2003
Springer
14 years 28 days ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
ICSE
2010
IEEE-ACM
14 years 14 days ago
2010
IEEE-ACM
We present views, a new approach to controlling concurrency. Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with tod...
CASCON
1996
13 years 9 months ago
1996
The draft ofthe SQL/PSM standard de nes a procedural extension to the existing SQL2 language. An essential part of this extension is the support of procedural constructs such as B...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Nested data-parallelism (NDP) is a declarative style for programming irregular parallel applications. NDP languages provide language features favoring the NDP style, efficient com...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...