MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named cormac flanagan – sorted by Number of Citations

Order by: Relevance | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 56 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Extended Static Checking for Java  
  • by Cormac Flanagan, K. Rustan M. Leino, K. Rustan, M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata — 2002
  • …ABSTRACT Extended Static Checking for Java Cormac Flanagan K. Rustan M. Leino ∗ Mark Lillibridge…
  • Cited by 330 (15 self) – Add To MetaCart
  • Type-based race detection for Java  
  • by Cormac Flanagan, Stephen N. Freund — IN PROCEEDINGS OF THE SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
  • …Type-Based Race Detection for Java Cormac Flanagan Stephen N. Freund∗ Compaq Systems Research…
  • Cited by 184 (22 self) – Add To MetaCart
  • Componential set-based analysis  
  • by Cormac Flanagan, Matthias Felleisen — 1997 — ACM Transactions on Programming Languages and Systems
  • …Componential Set-Based Analysis CORMAC FLANAGAN Compaq Systems Research Center and MATTHIAS…
  • Cited by 102 (10 self) – Add To MetaCart
  • DrScheme: A programming environment for Scheme  
  • by Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen — 2002 — Journal of Functional Programming
  • … for Scheme ∗ Robert Bruce Findler, John Clements † , Cormac Flanagan ‡ , Matthew Flatt § , Shriram…
  • Cited by 76 (33 self) – Add To MetaCart
  • Catching Bugs in the Web of Program Invariants  
  • by Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen — 1996 — In ACM SIGPLAN Conference on Programming Language Design and Implementation
  • …Catching Bugs in the Web of Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi…
  • Cited by 58 (18 self) – Add To MetaCart
  • DrScheme: A Pedagogic Programming Environment for Scheme  
  • by Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen — 1997 — In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs
  • …DrScheme: A Pedagogic Programming Environment for Scheme Robert Bruce Findler, Cormac Flanagan…
  • Cited by 47 (17 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB