917 search results - page 82 / 184 » On the Semantics of Updates in a Functional Language |
ECOOP
2000
Springer
15 years 2 months ago
2000
Springer
Inner classes in object-oriented languages play a role similar to nested function definitions in functional languages, allowing an object to export other objects with direct acces...
CVPR
2012
IEEE
13 years 8 days ago
2012
IEEE
We propose a novel mode of feedback for image search, where a user describes which properties of exemplar images should be adjusted in order to more closely match his/her mental m...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
IEEEARES
2009
IEEE
14 years 7 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
ICWS
2004
IEEE
14 years 11 months ago
2004
IEEE
The Web is moving toward a collection of interoperating Web services. Achieving this interoperability requires dynamic discovery of Web services on the basis of their capabilities...