2944 search results - page 191 / 589 » On Well Quasi-orders on Languages |
169
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Displaying website privacy policies to consumers in ways they understand is an important part of gaining consumers’ trust and informed consent, yet most website privacy policies...
294
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
248
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
162
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Generational collection has improved the efficiency of garbage collection in fast-allocating programs by focusing on collecting young garbage, but has done little to reduce the co...
166
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...