Edwin M. Westbrook

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Semantically Equivalent

Semantics Of Logic Programs

Intended Meaning

Semantic Representation

Top Venues

Publications

Edwin M. Westbrook, Swarat Chaudhuri
A Semantics for Approximate Program Transformations CoRR (2013)
Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar
Practical Permissions for Race-Free Parallelism. ECOOP (2012)
Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar
Permission Regions for Race-Free Parallelism. RV (2011)
Edwin M. Westbrook, Nicolas Frisby, Paul Brauner
Hobbits for Haskell: a library for higher-order encodings in functional programming languages. Haskell (2011)
Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha
Mint: Java multi-stage programming using weak separability. PLDI (2010)
Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif R. Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya
Mathematical equations as executable models of mechanical systems. ICCPS (2010)
Edwin M. Westbrook, Aaron Stump, Evan Austin
The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings. LFMTP (2009)
Ian Wehrman, Aaron Stump, Edwin M. Westbrook
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA (2006)
Edwin M. Westbrook, Aaron Stump, Ian Wehrman
A language-based approach to functionally correct imperative programming. ICFP (2005)
Gregor von Laszewski, Mary L. Westbrook, Craig Barnes, Ian T. Foster, Edwin M. Westbrook
Using computational grid capabilities to enhance the capability of an X-ray source for structural biology. Clust. Comput. 3 (3) (2000)