917 search results - page 80 / 184 » On the Semantics of Updates in a Functional Language |
POPL
2012
ACM
13 years 5 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
122
click to vote
WWW
2002
ACM
15 years 10 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
103
click to vote
AC
2000
Springer
15 years 2 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...