Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Peiyi Tang

Exact Side Effects for Interprocedural Dependence Analysis

1993English

Related publications

Interprocedural Taint Analysis for LLVM-bitcode

Proceedings of the Institute for System Programming of RAS
2014English

Interprocedural Static Analysis of Sequencing Constraints

ACM Transactions on Software Engineering and Methodology
Software
1992English

Side Effects for Placebo Poppers

Science
MultidisciplinaryPhilosophy of ScienceHistory
2016English

Interprocedural Type Propagation for Object-Oriented Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Side Effects

British Journal of General Practice
MedicineFamily Practice
2014English

Interprocedural Symbolic Range Propagation for Optimizing Compilers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Side Effects

The Iowa Review
1998English

PARCOACH Extension for a Full-Interprocedural Collectives Verification

2018English

Interface Solutions for Interface Side Effects?

BIO Web of Conferences
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy