2233 search results - page 10 / 447 » Modular type classes |
CSFW
2012
IEEE
12 years 12 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
POPL
1999
ACM
15 years 1 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
107
click to vote
COMPSAC
2003
IEEE
15 years 2 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
POPL
2010
ACM
15 years 7 months ago
2010
ACM