890 search results - page 19 / 178 » Programming language methods in computer security |
104
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
114
Voted
ESORICS
2010
Springer
15 years 23 days ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
135
click to vote
ITICSE
2005
ACM
15 years 6 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
89
Voted
HPDC
1997
IEEE
15 years 4 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...
103
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...