5255 search results - page 681 / 1051 » Formal Methods for Privacy |
168
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
209
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
179
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
194
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
192
click to vote
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
We formalize the notion of a cryptographic counter, which allows a group of participants to increment and decrement a cryptographic representation of a (hidden) numerical value pri...