Articles with public access mandates - William R. CookLearn more
Not available anywhere: 1
Convivial linguistic practices: Lived togetherness through language in the United Arab Emirates
WRA Cook
Multilingua 41 (1), 1-28, 2022
Mandates: Social Sciences and Humanities Research Council, Canada
Available somewhere: 4
Verifying equivalence of database-driven applications
Y Wang, I Dillig, SK Lahiri, WR Cook
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
Mandates: US National Science Foundation
EffectiveAdvice: Disciplined advice with explicit effects
BCS Oliveira, T Schrijvers, WR Cook
Proceedings of the 9th International Conference on Aspect-Oriented Software …, 2010
Mandates: Research Foundation (Flanders)
Semistructured Merge in Revision Control Systems.
S Apel, J Liebig, C Lengauer, C Kästner, WR Cook
VaMoS, 13-19, 2010
Mandates: German Research Foundation
Binary-compatible verification of filesystems with ACL2
MP Mehta, WR Cook
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program