MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Scott Owens" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • A sound semantics for OCamllight  
  • by Scott Owens — 2008 — In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Lecture Notes in Computer Science
  • …A Sound Semantics for OCamllight Scott Owens University of Cambridge Abstract. Few programming…
  • Cited by 3 (0 self) – Add To MetaCart
  • Syntactic abstraction in component interfaces  
  • by Scott Owens, Matthew Flatt — 2005 — In Proc. Fourth International Conference on Generative Programming and Component Engineering
  • … Syntactic Abstraction in Component Interfaces Ryan Culpepper1, Scott Owens2, and Matthew Flatt2…
  • Cited by 6 (1 self) – Add To MetaCart
  • FAQ for proof producing synthesis in HOL  
  • by Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon — 2006 — Sixth International Workshop on Designing Correct Circuits
  • …FAQ for Proof Producing Synthesis in HOL Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon…
  • Cited by 1 (1 self) – Add To MetaCart
  • Functional correctness proofs of encryption algorithms  
  • by Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang — 2005 — In Proceedings of 12th Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005), number 3835 in LNAI
  • … , Scott Owens 1 , Konrad Slind 1 , and Junxing Zhang 1 1 School of Computing, University of Utah 2 Oxford…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB