4211 search results - page 164 / 843 » Types as Abstract Interpretations |
133
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...
157
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
159
click to vote
AFP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
174
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
153
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...