3333 search results - page 524 / 667 » Abstract Proof Search |
143
click to vote
POPL
1992
ACM
15 years 8 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
145
click to vote
PET
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. As the popularity of social networks expands, the information users expose to the public has potentially dangerous implications for individual privacy. While social netwo...
138
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study resource management in distributed systems. Incorrect handling of resources may lead to deadlocks, missed deadlines, priority inversions, and other forms of inco...
163
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
158
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...