☰

James Hook - Publications

Affiliations: 
Oregon Health and Science University, Portland, OR 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

4 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2008 Hook J, Sperber M. The ICFP developer conference 2008 Sigplan Notices. 43: 3-4. DOI: 10.1145/1402227.1402229  0.344
2004 Xia S, Hook J. Certifying temporal properties for compiled C programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2937: 161-174.  0.47
2003 Xia S, Hook J. Experience with abstraction-carrying code Electronic Notes in Theoretical Computer Science. 89: 433-449. DOI: 10.1016/S1571-0661(05)80005-2  0.476
1994 Bellegarde F, Hook J. Substitution: A formal methods case study using monads and transformations Science of Computer Programming. 23: 287-311. DOI: 10.1016/0167-6423(94)00022-0  0.346
Show low-probability matches.