630 search results - page 53 / 126 » Stateful Aspects in JAsCo |
CADE
2006
Springer
14 years 9 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
ISQED
2008
IEEE
14 years 3 months ago
2008
IEEE
An efficient frequency-based clock analysis method: CSAV is proposed in this paper. It computes the circuit response by first solving the state equation in frequency domain, and...
AIMS
2008
Springer
14 years 3 months ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
ASM
2004
ASM
14 years 2 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
ECSQARU
2003
Springer
14 years 2 months ago
2003
Springer
While AGM belief revision identifies belief states with sets of formulas, proposals for iterated revision are usually based on more complex belief states. In this paper we investi...