2623 search results - page 10 / 525 » Hoare Logic in the Abstract |
HYBRID
2003
Springer
14 years 17 days ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
TASE
2008
IEEE
14 years 1 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
FASE
2003
Springer
14 years 18 days ago
2003
Springer
LICS
1999
IEEE
13 years 11 months ago
1999
IEEE
