Interprocedural Static Analysis of Sequencing Constraints

ACM Transactions on Software Engineering and Methodology - United States
doi 10.1145/125489.122822
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Interprocedural Taint Analysis for LLVM-bitcode

Proceedings of the Institute for System Programming of RAS
2014English

Exact Side Effects for Interprocedural Dependence Analysis

1993English

Multiship Crane Sequencing With Yard Congestion Constraints

Transportation Science
CivilTransportationStructural Engineering
2010English

Dynamic Memory Interval Test vs. Interprocedural Pointer Analysis in Multimedia Applications

Transactions on Architecture and Code Optimization
HardwareInformation SystemsArchitectureSoftware
2005English

The Grammar of Emoji? Constraints on Communicative Pictorial Sequencing

Cognitive Research: Principles and Implications
Cognitive PsychologyExperimentalCognitive Neuroscience
2019English

Learning Dynamical Information From Static Protein and Sequencing Data

Biophysical Journal
Biophysics
2020English

Static Analysis of Android Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Static Analysis of Ravenscar Programs

ACM SIGAda Ada Letters
2003English

Some Notes on Interprocedural Program Slicing

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy