3440 search results - page 568 / 688 » Logics For Context-Free Languages |
214
click to vote
CCS
2005
ACM
16 years 13 days ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
216
click to vote
OOPSLA
2005
Springer
16 years 11 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...
184
click to vote
OOPSLA
2005
Springer
16 years 11 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...
211
click to vote
PLDI
2003
ACM
16 years 4 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
222
click to vote
TLDI
2003
ACM
16 years 4 days ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...