1054 search results - page 69 / 211 » Guarded Expressions in Practice |
ECOOP
1994
Springer
15 years 4 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
122
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
VVEIS
2008
15 years 1 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
CSDA
2008
14 years 12 months ago
2008
We derive second-order expressions for the asymptotic bias and variance of the log relative incidence estimator for the self-controlled case series method in a simplified scenario...
CSDA
2008
14 years 12 months ago
2008
The finite sample properties of the Fourier estimator of integrated volatility under market microstructure noise are studied. Analytic expressions for the bias and the mean square...