Sciweavers

278 search results - page 30 / 56
» Enumerating Regular Expressions and Their Languages
Sort
View
WWW
2003
ACM
14 years 8 months ago
Character Repertoire Validation for XML Documents
XML documents may contain a large diversity of characters. The Character Repertoire Validation for XML (CRVX) language is a simple schema language for specifying character reperto...
Erik Wilde
ADC
2009
Springer
123views Database» more  ADC 2009»
14 years 2 months ago
S.E.A.L. - A Query Language for Entity-Association Queries
The paper presents the S.E.A.L. query language and interpreter for entity-association queries that allows such queries to be expressed in a much simpler way than in SQL. S.E.A.L (...
Edward Stanley, Pavle Mogin, Peter Andreae
PLANX
2007
13 years 9 months ago
Lux: A Lightweight, Statically Typed XML Update Language
Several proposals for updating XML have been introduced. Many of them have a rather complicated semantics due to the interaction of side-effects and updates, and some proposals a...
James Cheney
AMAST
2004
Springer
14 years 28 days ago
Separate Compositional Analysis of Class-Based Object-Oriented Languages
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
Francesco Logozzo
ENTCS
2006
174views more  ENTCS 2006»
13 years 7 months ago
Context Sequence Matching for XML
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
Temur Kutsia