1911 search results - page 122 / 383 » Program analysis for code duplication in logic programs |
151
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
181
click to vote
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
136
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
146
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
140
click to vote
PLDI
1998
ACM
15 years 9 months ago
1998
ACM
In conventional superscalar microarchitectures with partitioned integer and floating-point resources, all floating-point resources are idle during execution of integer programs....