3836 search results - page 532 / 768 » Semantics of Database Transformations |
150
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
173
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
A data stream management system executes a large number of continuous queries in parallel. As stream characteristics and query workload change over time, the plan initially install...
120
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
153
Voted
FM
2006
Springer
15 years 8 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
161
click to vote
DAS
2008
Springer
15 years 6 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...