4880 search results - page 677 / 976 » Manuals as Structured Programs |
204
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
189
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The USCP had enormous challenges with its IT Program and support to the internal and external stakeholders of the Department, because of a fragile IT infrastructure. The IT Progra...
167
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...
218
click to vote
PPOPP
2006
ACM
16 years 20 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
171
click to vote
ASPLOS
2004
ACM
16 years 4 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...