411 search results - page 32 / 83 » Algebraic Imperative Specifications |
183
click to vote
PLPV
2011
ACM
14 years 4 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
136
click to vote
LICS
2010
IEEE
14 years 12 months ago
2010
IEEE
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously b...
191
click to vote
ICDE
1999
IEEE
16 years 3 months ago
1999
IEEE
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
160
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...