Sciweavers

278 search results - page 30 / 56
» Enumerating Regular Expressions and Their Languages
Sort
View
WWW
2003
ACM
16 years 13 days 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»
15 years 6 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
15 years 1 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
15 years 5 months 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»
14 years 11 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