23 search results - page 3 / 5 » XQuery Formal Semantics: State and Challenges |
JLP
2010
13 years 5 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
DALT
2006
Springer
14 years 2 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
SCP
1998
13 years 10 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
BIRTHDAY
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...