1636 search results - page 278 / 328 » Type-Theoretic Functional Semantics |
GG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
METAINFORMATICS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
108
click to vote
RULEML
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
Relational database systems may be turned into efficient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...
124
click to vote
WWIC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The widespread availability of both fixed and wireless network connectivity and the growing market of portable devices are enabling anytime and anywhere impromptu collabo...