4067 search results - page 461 / 814 » Programs for Applying Symmetries |
169
click to vote
TLDI
2005
ACM
16 years 7 days ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
171
click to vote
ASPLOS
2004
ACM
16 years 3 days ago
2004
ACM
Tracing garbage collectors traverse references from live program variables, transitively tracing out the closure of live objects. Memory accesses incurred during tracing are essen...
179
click to vote
SIGADA
2004
Springer
16 years 1 days ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
182
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
213
click to vote
TLDI
2003
ACM
15 years 12 months 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...