1438 search results - page 53 / 288 » An Expressive Extension of TLC |
DLOG
2009
14 years 2 days ago
2009
Abstract. We present a family of expressive extensions of Datalog, called Datalog
ASPLOS
2008
ACM
14 years 1 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
AIMSA
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
FCT
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
DBPL
2007
Springer
14 years 5 months ago
2007
Springer
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...