7139 search results - page 1187 / 1428 » Language Engineering in Practice |
159
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we consider general path constraints for semistructured databases. Our general constraints do not suffer from the limitations of the path constraints previously stud...
144
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Conceptual complexity is emerging as a new bottleneck as data-base developers, application developers, and database administrators struggle to design and comprehend large, complex...
164
click to vote
ICCD
2003
IEEE
16 years 2 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
162
click to vote
SIGCSE
2010
ACM
16 years 26 days ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
158
click to vote
CC
2010
Springer
16 years 26 days ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...