A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
A Core Calculus for XQuery 3.0
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
To this end, we extend CDuce so as it can be seen as a succinct core λ-calculus that captures XQuery 3.0 programs. ...
The encoding of XQuery 3.0 into the extension of CDuce provides a formal semantics and a sound static type system for XQuery 3.0 programs. ...
Our contribution is to improve both XQuery and CDuce by showing that (an extended) CDuce can be seen as a succinct core λ-calculus that exactly captures XQuery 3.0 programs. ...
doi:10.1007/978-3-662-46669-8_10
fatcat:sv6vbe6ljfb7rfjuw7u6rifcxq
A Uniform Programmning Language for Implementing XML Standards
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We propose X-Fun, a core language for implementing various Xml standards in a uniform manner. ...
X-Fun is a higher-order functional programming language for transforming data trees based on node selection queries. It can support the Xml data model and XPath queries as a special case. ...
We would like to thank Guiseppe Castagna and Kim Nguyen for their helpful discussions about the type system of X-Fun. ...
doi:10.1007/978-3-662-46078-8_45
fatcat:iyxgcntdznevvanra4vsvpcgya
Backward type inference for XML queries
2020
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, as a different approach, we propose a novel backward type inference system for XQuery, based on a type language extended with logical formulas. ...
Our backward type inference system provides an exact typing result for XPath axes and a sound typing result for XQuery expressions. ...
Acknowledgement The authors thank the anonymous reviewers for their helpful comments. ...
doi:10.1016/j.tcs.2020.03.020
fatcat:wziboaei6fh4pbiynhk4ubb6ly
The Optics of Language-Integrated Query
2020
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2009.00997v1 fatcat:t4wjhiuddzepzn2ih5nm3kzsty
This paper attempts to exploit the notion of optic for LINQ as a higher-level language that complements comprehension-based approaches. ...
S-Optica, a Scala implementation of Optica using the tagless-final approach. ...
Acknowledgements We would like to thank James Cheney, Oleg Kiselyov, Eric Torreborre and the anonymous reviewers for their helpful comments and corrections to a previous version of this paper. ...
doi:10.1016/j.scico.2020.102395
fatcat:twd2mzf2cjdmphklzkxuyxe524
Ensuring Query Compatibility with Evolving XML Schemas
[article]
2008
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
This article proposes a logical framework and tool for verifying forward/backward compatibility issues involving schemas and queries. First, it allows analyzing relations between schemas. ...
Nowadays, a challenge is to assess and accommodate the impact of theses changes in rapidly evolving XML applications. ...
The logic uses programs for navigating in binary trees: the program 1 allows to navigate from a node down to its first successor and the program 2 for navigating from a node down to its second successor ...
arXiv:0811.4324v1
fatcat:c5tx2haj5raa3lwq2o6es7rrju
Rule Responder Agents Framework and Instantiations
[chapter]
2011
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It provides the infrastructure for rule-based collaboration between the distributed members of such a virtual organization. ...
Rule Responder is a framework for specifying virtual organizations as semantic multiagent systems that support collaborative teams. ...
The multi-agent approach allows for a highly-available distributed implementation with redundant Event-Calculus based state processing where events are processed concurrently in the EPN. ...
doi:10.1007/978-3-642-18308-9_1
fatcat:da75woatbzhyperju5gab3nmfu
A practical theory of language-integrated query
2013
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Higher-order features prove useful even for constructing first-order queries. We prove a theorem characterising when a host query is guaranteed to generate a single SQL query. ...
We present a practical theory of language-integrated query based on quotation and normalisation of quoted terms. ...
This work is supported in part by a Google Research Award (Lindley), EPSRC grants EP/J014591/1 (Lindley) and EP/K034413/1 (Lindley, Wadler), and a Royal Society University Research Fellowship (Cheney ...
doi:10.1145/2500365.2500586
dblp:conf/icfp/CheneyLW13
fatcat:j723lnv7rfe3nadkhmccxnfwbe
Impact of XML Schema Evolution
2011
ACM Transactions on Internet Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We propose a unifying framework for determining the effects of XML Schema evolution both on the validity of documents and on queries. ...
This yields either a formal proof of the property or a counter-example that can be used for debugging purposes. ...
1.2 is written in Relax-NG; MathML 1.01 has a DTD, MathML 2.0 has both a DTD and an XML Schema, and MathML 3.0 is developed with a Relax-NG schema and also published with a DTD and an XML Schema. ...
doi:10.1145/1993083.1993087
fatcat:hehkdyc3mnbsnpy3r4n6hhmg44
A Logical Approach to Deciding Semantic Subtyping
2015
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The novelty, originality and strength of our solution reside in introducing a logical modeling for the semantic subtyping framework. ...
We model semantic subtyping in a tree logic and use a satisfiability-testing algorithm in order to decide subtyping. We report on practical experiments made with a full implementation of the system. ...
Several people also discussed or exchanged with us about subtyping and polymorphism: Zhiwu Xu, Véronique Benzaken and Kim Nguyen. ...
doi:10.1145/2812805
fatcat:uhvlnbznb5bi7lqba2uhekayku
Decoupling context management and application logic: A new framework
2013
2013 IEEE 14th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It concludes that existing approaches tend to tightly couple the semantic of context to the modeling approach and proposes a context-centric modeling approach allowing the creation of a graph-based representation ...
This thesis attempts to address this challenge by extending the background works through the proposal of new concepts serving as a foundation for a flexible approach for building context-aware applications ...
Also, it provides a way for a step by step navigation by following links starting from a given entity to reach next entities. ...
doi:10.1109/wowmom.2013.6583486
dblp:conf/wowmom/ChihaniBC13
fatcat:bqytp54lwrgstlphn6q7ewho7m
Caching Mechanism in Peer-to-Peer Networks through Active XML
2012
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In a synthesis process, such good properties of subsystems as liveness and deadlock-freeness etc, must be preserved in synthesized system. ...
Finally, some examples are given, illustrating the effectiveness of the proposed approach in modeling and analyzing of large systems. ...
ACKNOWLEDGMENTS To CAPES and CNPq for financial suport. ...
doi:10.4304/jsw.7.3.508-515
fatcat:6vlsijzaxjbohh3ti5toew7rmi
Microlearning in health professions education
2018
The JBI Database of Systematic Reviews and Implementation Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
These attributes allow a new phenomenon on Internet: mixing and mashing. ...
It is always extremely exciting to observe the emergence of a new field in science, in this special case a new field due to the interaction between science, technology and our modern communication society ...
First, some specific learning scenarios seem better adapted and we presented several of them. ...
doi:10.11124/jbisrir-2017-003884
pmid:30489350
fatcat:hgqjcgrvlnhr5dnag37f5a7ffy
GIS Mashups
[chapter]
2017
Encyclopedia of GIS
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
It took more than a decade from this point for the larger computer science community to investigate GPs for pattern analysis purposes. ...
for crystallographic design, casting folding energies as a function of a protein's contact map, and formulation of vaccination policies taking into account social dynamics of individuals. ...
XQuery (XQuery 1.0 2006), a W3C standard, has been one of the most popular approaches for XML querying, and for GML querying by association (Li and Moon 2001) . ...
doi:10.1007/978-3-319-17885-1_530
fatcat:rrr5buo3zrevpigdtjwhewipvm
Data Models and Query Languages for Linked Geospatial Data
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The recent availability of geospatial information as linked open data has generated new interest in geospatial query processing and reasoning, a topic with a long tradition of research in the areas of ...
databases and artificial intelligence. ...
We thank all the participants and the reviewers of these projects for many interesting discussions on the area covered by this survey paper. ...
doi:10.1007/978-3-642-33158-9_8
fatcat:tlyz4vsnpjevxchysoqiyrrrbi
In pursuit of streamable stylesheet functions in XSLT 3.0
Proceedings of Balisage: The Markup Conference 2014
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The platform is used today as a multi-channel communication platform that helps enterprises worldwide improve their customer communications, leading to increased customer engagement and loyalty. ...
This pattern is of course using the XQuery application server as a proxy for the SPARQL endpoint. ...
One can even create a pattern for a function item, such as: <xsl:template match=".[. instance of function(*)]"> which will match any function. ...
doi:10.4242/balisagevol13.braaksma01
fatcat:fheervshljapjkzyjyoo25yhxm
« Previous
Showing results 1 — 15 out of 28 results