479 search results - page 40 / 96 » On Static Properties of Specialized Programs |
92
Voted
IWPC
2007
IEEE
15 years 7 months ago
2007
IEEE
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
125
Voted
FDL
2006
IEEE
15 years 4 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
134
click to vote
ASIAN
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
109
Voted
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
120
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...