4211 search results - page 370 / 843 » Types as Abstract Interpretations |
221
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
188
click to vote
ACMSE
2004
ACM
16 years 7 days ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
171
click to vote
WOSP
2004
ACM
16 years 6 days ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
176
click to vote
ECOOP
2004
Springer
16 years 5 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
207
click to vote
FORMATS
2004
Springer
16 years 5 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...