2940 search results - page 249 / 588 » Relational Parametricity and Control |
189
click to vote
MFCS
1998
Springer
15 years 11 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
159
click to vote
IJCAI
2003
15 years 8 months ago
2003
A public virtual laboratory is presented, where animats are controlled by mechanisms from different cognitive paradigms. A brief description of the characteristics of the laborato...
106
click to vote
DEBU
2008
15 years 6 months ago
2008
This paper discusses the notion of protocol compatibility between Web services, and reviews a number of techniques for detecting incompatibilities and for synthesizing adapters fo...
167
click to vote
MST
2008
15 years 6 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
159
click to vote
SCL
2008
15 years 6 months ago
2008
The reduction of dynamic systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically p...