513 search results - page 70 / 103 » Operational and abstract semantics of the query language G-L... |
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
COSIT
1997
Springer
15 years 3 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
COOPIS
2004
IEEE
15 years 2 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...