890 search results - page 19 / 178 » Programming language methods in computer security |
PLDI
2010
ACM
14 years 4 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...
ESORICS
2010
Springer
13 years 7 months 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...
ITICSE
2005
ACM
14 years 29 days 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...
HPDC
1997
IEEE
13 years 11 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...
ESOP
2010
Springer
14 years 4 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...