917 search results - page 125 / 184 » On the Semantics of Updates in a Functional Language |
191
click to vote
FGCS
2007
15 years 5 months ago
2007
Abstract. E-Science Semantic Grids can often be thought of as dynamic collection of semantic subgrids where each subgrid is a collection of modest number of services that assembled...
148
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
162
click to vote
VLDB
1994
ACM
15 years 9 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
170
click to vote
NLDB
2007
Springer
15 years 12 months ago
2007
Springer
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...
160
click to vote
POPL
1994
ACM
15 years 9 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...