Modularity in lattices: a case study on the correspondence between top-down and bottom-up analysis

Modularity in lattices: a case study on the correspondence between top-down and bottom-up analysis

<br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">Interprocedural analyses are compositional when they compute over-approximations of procedures in a bottom-up fashion. These analyses are usually more scalable than top-down analyses, which compute a different procedure summ...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Castelnuovo, G, Naik, M, Rinetzky, N, Sagiv, M, Yang, H
Formaat:	Conference item
Gepubliceerd in:	Springer 2015

Gelijkaardige items

Hybrid top-down and bottom-up interprocedural analysis
door: Zhang, X, et al.
Gepubliceerd in: (2014)

Bottom-up or top-down?
door: Johansen-Berg, H
Gepubliceerd in: (2001)

Integrating bottom-up and top-down information
door: Giacaglia, Giuliano Pezzolo
Gepubliceerd in: (2014)

Combining top-down and bottom-up accountability
door: Serra, D
Gepubliceerd in: (2008)

Distinguishing Top-Down From Bottom-Up Effects
door: Shea, N
Gepubliceerd in: (2014)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
door: Hoare, C
Gepubliceerd in: (1999)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
door: Hoare, C
Gepubliceerd in: (1999)

Image interpretation by iterative bottom-up top-down processing
door: Ullman, Shimon, et al.
Gepubliceerd in: (2022)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
door: Hoare, C
Gepubliceerd in: (1999)

OBJCUT: efficient segmentation using top-down and bottom-up cues.
door: Kumar, M, et al.
Gepubliceerd in: (2010)

Bottom-up top-down cues for weakly-supervised semantic segmentation
door: Hou, Q, et al.
Gepubliceerd in: (2018)

OBJCUT: efficient segmentation using top-down and bottom-up cues
door: Kumar, MP, et al.
Gepubliceerd in: (2009)

Bottom-up, not top-down, modulation of imitation by human and robotic models.
door: Press, C, et al.
Gepubliceerd in: (2006)

Top down or bottom up: competing management strategies in the histogenesis of colorectal adenomas
door: Wong, R, et al.
Gepubliceerd in: (2002)

Bottom-up vs. top-down approaches to supply chain management and modeling
Gepubliceerd in: (2003)

Top-down, bottom-up, and sideways in infants' development of visual object organisation
door: Braddick, O, et al.
Gepubliceerd in: (2003)

Top-down or bottom-up? complexity analyses of synchronous multiparty session types
door: Yoshida, N, et al.
Gepubliceerd in: (2024)

Top-down and bottom-up deficits in conflict adaptation after frontal lobe damage.
door: Funes, M, et al.
Gepubliceerd in: (2010)

Bottom-Up and Top-Down Processes in Emotion Generation: Common and Distinct Neural Mechanisms
door: Ochsner, Kevin N., et al.
Gepubliceerd in: (2012)

Representing energy technologies in top-down economic models using bottom-up information
Gepubliceerd in: (2003)

An ALE meta-analytic review of top-down and bottom-up processing of music in the brain
door: Pando-Naude, V, et al.
Gepubliceerd in: (2021)

Explaining change in British public opinion on the European Union: top down or bottom up?
door: Evans, G, et al.
Gepubliceerd in: (2007)

Markets or hierarchies? Top down or bottom up reform of the Primary Care Delivery in the NHS?
door: Loveridge, R, et al.
Gepubliceerd in: (1993)

Combining Top-down and Bottom-up Accountability : Evidence from a Bribery Experiment.
door: Serra, D
Gepubliceerd in: (2008)

Combining top-down and bottom-up accountability: evidence from a bribery experiment
door: Serra, D
Gepubliceerd in: (2008)

A Top-down and Bottom-up look at Emissions Abatement in Germany in response to the EU ETS
door: Feilhauer, Stephan M. (Stephan Marvin), et al.
Gepubliceerd in: (2009)

Top-down, modular programming in FORTRAN with WATFIV /
door: 261820 Chattergy, Rahul, et al.
Gepubliceerd in: (1980)

Promoting active learning in Universiti Teknologi Malaysia: A bottom-up, top-down approach
door: Mohd. Yusof, Khairiyah, et al.
Gepubliceerd in: (2004)

A combined top-down and bottom-up approaches to the implementation of human trafficking policy in Nigeria
door: Ibrahim, Sani Sani, et al.
Gepubliceerd in: (2023)

Analysis of a top-down bottom-up data analysis framework and software architecture design
door: Wirsch, Anton
Gepubliceerd in: (2017)

Exploring bottom-up and top-down cues with attentive learning for webly supervised object detection
door: Wu, Zhonghua, et al.
Gepubliceerd in: (2020)

Separating top-down and bottom-up cueing of attention from response inhibition in utilization behavior.
door: Balani, AB, et al.
Gepubliceerd in: (2012)

Top-down meets bottom-up: organized donor–acceptor heterojunctions for organic solar cells
door: Wang, Mingfeng, et al.
Gepubliceerd in: (2013)

Steady-state responses to concurrent melodies: source distribution, top-down, and bottom-up attention
door: Manting, Cassia Low, et al.
Gepubliceerd in: (2024)

Top down or bottom up morphogenesis of colorectal adenomas: Competing management structures in the origins of colorectal neoplasia
door: Preston, S, et al.
Gepubliceerd in: (2003)

Top-down or bottom-up morphogenesis of colorectal adenomas: Competing management structures in the origins of colonic neoplasia
door: Preston, S, et al.
Gepubliceerd in: (2003)

Abstractions from Tests
door: Naik, M, et al.
Gepubliceerd in: (2012)

Disentangling the roles of bottom-up and top-down drivers in the trade-off between food acquisition and safety in prey with multiple predators
door: Pays, O, et al.
Gepubliceerd in: (2020)

Understanding face perception through the contributions of bottom-up and top-down processing : a psychophysical approach
door: Pan, Liu
Gepubliceerd in: (2015)

Institutions which promote social services integration : an analysis of top-down vs. bottom-up approaches
door: Best, Lawrence L. (Lawrence Lee)
Gepubliceerd in: (2010)