MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Noam Rinetzky" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Abstraction for Concurrent Objects ⋆  
  • by Ivana Filipović, Noam Rinetzky, Hongseok Yang
  • …Abstraction for Concurrent Objects ⋆ Ivana Filipović, Peter O’Hearn, Noam Rinetzky, and Hongseok…
  • Add To MetaCart
  • Interprocedural functional shape analysis using local heaps  
  • by Noam Rinetzky, Mooly Sagiv, Eran Yahav — 2004 — Var� S y�=x fv(yσ) VarDecl {P } C {Q} �x ∩ fv(P, Q) = ∅ {P } local �x in C {Q} RecProcDecl Γ , {P } f(�x) {Q} ⊢ {P } C {Q} Γ , {P } f(�x) {Q} ⊢ {R} C ′ {S} Γ ⊢ {R} letrec f(�x) {C} in C ′ {S
  • …Interprocedural Functional Shape Analysis using Local Heaps Noam Rinetzky Tel Aviv University maon…
  • Cited by 4 (0 self) – Add To MetaCart
  • Local reasoning for storable locks and threads  
  • by Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv — 2007 — In Proceedings 5th Asian Symposium on Programming Languages and Systems (APLAS’07
  • … , Noam Rinetzky 3,⋆ , and Mooly Sagiv 2,3 1 University of Cambridge 2 Microsoft Research 3 Tel…
  • Cited by 7 (1 self) – Add To MetaCart
  • Interprocedural Shape Analysis  
  • by Noam Rinetzky, Arie Freund, Tal Lev-ami, Ran Shaham, Alex Warshavsky, Eran Yahav — 2000 — Master’s thesis, Technion - Israel Institute of Technology
  • … for the degree of Master of Science in Computer Science Noam Rinetzky Submitted to the Senate of the Technion…
  • Cited by 6 (2 self) – Add To MetaCart
  • A Semantics for Procedure Local Heaps  
  • by And Its Ions, Noam Rinetzky, Jörg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
  • …A Semantics for Procedure Local Heaps and its Abstractions Noam Rinetzky ∗ Jörg Bauer † Thomas…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB