917 search results - page 132 / 184 » On the Semantics of Updates in a Functional Language |
MDM
2004
Springer
14 years 2 months ago
2004
Springer
This paper discusses the problem of content adaptation for mobile devices. The adaptation considers the context of the client and also the environment where the client request is ...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
JFP
2010
13 years 7 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...