External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis

Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang. Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. In Sandrine Blazy, Thomas Jensen, editors, Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. Volume 9291 of Lecture Notes in Computer Science, pages 252-274, Springer, 2015. [doi]

Authors

Ghila Castelnuovo

This author has not been identified. Look up 'Ghila Castelnuovo' in Google

Mayur Naik

This author has not been identified. Look up 'Mayur Naik' in Google

Noam Rinetzky

This author has not been identified. Look up 'Noam Rinetzky' in Google

Mooly Sagiv

This author has not been identified. Look up 'Mooly Sagiv' in Google

Hongseok Yang

This author has not been identified. Look up 'Hongseok Yang' in Google
runs on