The following pages link to Anindya Banerjee (Q859952):
Displaying 34 items.
- A logic for information flow analysis with an application to forward slicing of simple imperative programs (Q859953) (← links)
- Do we reject rational expectations models too often?: Interpreting evidence using Nagar expansions (Q899955) (← links)
- Orthogonality tests with de-trended data: interpreting Monte-Carlo results using Nagar expansions (Q1676649) (← links)
- Stackability in the simply-typed call-by-value lambda calculus (Q1818310) (← links)
- On automation in the verification of software barriers: experience report (Q2351145) (← links)
- Hyperkähler isometries of K3 surfaces (Q2660295) (← links)
- Comments on summing over bordisms in TQFT (Q2682200) (← links)
- Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity (Q2802440) (← links)
- A Theory of Slicing for Probabilistic Control Flow Graphs (Q2811339) (← links)
- Decision Procedures for Region Logic (Q2891431) (← links)
- Some cautions on the use of panel methods for integrated series of macroeconomic data (Q3023025) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- Estimating Intertemporal Quadratic Adjustment Cost Models with Integrated Series (Q3354874) (← links)
- Ownership confinement ensures representation independence for object-oriented programs (Q3546287) (← links)
- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (Q3558212) (← links)
- Error-correction Mechanism Tests for Cointegration in a Single-equation Framework (Q3838304) (← links)
- Co-integration, Error Correction, and the Econometric Analysis of Non-Stationary Data (Q4220579) (← links)
- (Q4593684) (← links)
- (Q4636558) (← links)
- Stack-based access control and secure information flow (Q4676153) (← links)
- (Q4994699) (← links)
- Representation independence, confinement and access control [extended abstract] (Q5178904) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Testing for Panel Cointegration Using Common Correlated Effects Estimators (Q5283413) (← links)
- Programming Languages and Systems (Q5316585) (← links)
- A modular, polyvariant and type-based closure analysis (Q5348860) (← links)
- A logic for information flow in object-oriented programs (Q5348916) (← links)
- Local Reasoning for Global Invariants, Part I (Q5395716) (← links)
- Local Reasoning for Global Invariants, Part II (Q5395717) (← links)
- Modular reasoning about heap paths via effectively propositional formulas (Q5408433) (← links)
- Static Analysis (Q5466553) (← links)
- Static Analysis (Q5466580) (← links)
- (Q5714452) (← links)
- A categorical interpretation of Landin's correspondence principle (Q5890068) (← links)
