933 search results - page 177 / 187 » Multi-paradigm Declarative Languages |
PLDI
2004
ACM
15 years 4 months ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
ICSE
2010
IEEE-ACM
15 years 3 months 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...
ICRE
2000
IEEE
15 years 3 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
APLAS
2000
ACM
15 years 3 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
SIGMOD
1999
ACM
15 years 3 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...