MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Design patterns in separation logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Draft Copy Design Patterns in Separation Logic  
  • by Neelakantan R. Krishnaswami, Lars Birkedal, Kasper Svendsen, Alexandre Buisse
  • …Draft Copy Design Patterns in Separation Logic Neelakantan R. Krishnaswami Aldrich Carnegie Mellon…
  • Add To MetaCart
  • A friendly face for eclipse  
  • by Charles Reis — 2003 — In Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange
  • … the introduction of new errors. Our development team emphasizes the use of design patterns [7] and follows…
  • Cited by 3 (0 self) – Add To MetaCart
  • General Terms  
  • by Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse
  • …Design Patterns in Separation Logic Neelakantan R. Krishnaswami Jonathan Aldrich Carnegie Mellon…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB