Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
parallel pointer » parallel point, parallel monte, parallel power
pointer program » pointer programs, pintar program, inter program
function https » functions https, fiction https
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
parallel pointer » parallel point, parallel monte, parallel power
pointer program » pointer programs, pintar program, inter program
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook