related documents A framework for certified program analysis and its applications to mobile-code safety Conference Proceeding Efficient strongly relational polyhedral analysis Conference Proceeding
