Sciweavers

383 search results - page 7 / 77
» Formal Syntax and Semantics of Case Stacking Languages
Sort
View
SIGMOD
2005
ACM
99views Database» more  SIGMOD 2005»
14 years 8 months ago
LiXQuery: a formal foundation for XQuery research
XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational p...
Jan Hidders, Philippe Michiels, Jan Paredaens, Roe...
EACL
1993
ACL Anthology
13 years 9 months ago
Towards a proper treatment of coercion phenomena
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
Danièle Godard, Jacques Jayez
TOSEM
2002
93views more  TOSEM 2002»
13 years 8 months ago
Alloy: a lightweight object modelling notation
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
Daniel Jackson
IEE
2008
116views more  IEE 2008»
13 years 8 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
ADBIS
2005
Springer
147views Database» more  ADBIS 2005»
14 years 2 months ago
Declarative Data Fusion - Syntax, Semantics, and Implementation
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
Jens Bleiholder, Felix Naumann