Old Web
English
Sign In
Acemap
>
Paper
>
An Incremental Stuttering Refinement Proof of a Concurrent Program in ACL2
An Incremental Stuttering Refinement Proof of a Concurrent Program in ACL2
2000
Robert W. Sumners
Keywords:
ACL2
Artificial intelligence
Natural language processing
Computer science
Work stealing
Theoretical computer science
Stuttering
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
7
Citations
NaN
KQI
[]