XDuce: A statically typed XML processing language
XDuce is a statically typed programming language for XML processing. Its basic data values
are XML documents, and its types (so-called regular expression types) directly correspond …
are XML documents, and its types (so-called regular expression types) directly correspond …
Arrows, robots, and functional reactive programming
LNCS 2638 - Arrows, Robots, and Functional Reactive Programming Page 1 Arrows, Robots,
and Functional Reactive Programming Paul Hudak, Antony Courtney, Henrik Nilsson, and John …
and Functional Reactive Programming Paul Hudak, Antony Courtney, Henrik Nilsson, and John …
CDuce: an XML-centric general-purpose language
V Benzaken, G Castagna, A Frisch - ACM SIGPLAN Notices, 2003 - dl.acm.org
We present the functional language CDuce, discuss some design issues, and show its
adequacy for working with XML documents. Distinctive features of CDuce are a powerful …
adequacy for working with XML documents. Distinctive features of CDuce are a powerful …
Expressiveness and complexity of XML Schema
The common abstraction of XML Schema by unranked regular tree languages is not entirely
accurate. To shed some light on the actual expressive power of XML Schema, intuitive …
accurate. To shed some light on the actual expressive power of XML Schema, intuitive …
[图书][B] XQuery from the experts: a guide to the W3C XML query language
H Katz, DD Chamberlin - 2004 - books.google.com
&• Nobody knows XQuery better than this group of &" experts, &" after all they created it.
We've cornered the market on expertise in XQuery. & &• Allows readers to focus on either or …
We've cornered the market on expertise in XQuery. & &• Allows readers to focus on either or …
Semantic subtyping with an SMT solver
We study a first-order functional language with the novel combination of the ideas of
refinement type (the subset of a type to satisfy a Boolean expression) and type-test (a …
refinement type (the subset of a type to satisfy a Boolean expression) and type-test (a …
[PDF][PDF] Ontology representation & reasoning
M Lenzerini, D Milano, A Poggi - … di Roma La Sapienza, Roma, Italy …, 2004 - academia.edu
It is widely accepted to consider an ontology as a conceptualization of a domain of interest,
that can be used in several ways to model, analyze and reason upon the domain. Obviously …
that can be used in several ways to model, analyze and reason upon the domain. Obviously …
MARS: A metamodel recovery system using grammar inference
Domain-specific modeling (DSM) assists subject matter experts in describing the essential
characteristics of a problem in their domain. When a metamodel is lost, repositories of …
characteristics of a problem in their domain. When a metamodel is lost, repositories of …
Implementing xquery 1.0: The galax experience
Publisher Summary This chapter demonstrates the Galax system as well as its most
advanced features, including support for XPath 2.0, XML Schema, and static type checking …
advanced features, including support for XPath 2.0, XML Schema, and static type checking …
BabyJ: From object based to class based programming via types
C Anderson, S Drossopoulou - Electronic Notes in Theoretical Computer …, 2003 - Elsevier
Object oriented programming can be classified into the object based, and the class based
paradigm. Object based languages typically are weakly typed and interpreted, allow …
paradigm. Object based languages typically are weakly typed and interpreted, allow …