Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sri...
Topic models have recently emerged as powerful tools for modeling topical trends in documents. Often the resulting topics are broad and generic, associating large groups of people...
Vidit Jain, Erik G. Learned-Miller, Andrew McCallu...
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
We survey some issues that relate to context dependence and context sensitivity in the development of software, particularly in relation to information systems by defining a range...