Sold Out
Book Categories |
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality | 1 | |
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines | 17 | |
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form | 33 | |
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses | 57 | |
Analysis of Normal Logic Programs | 82 | |
The Correctness of Set-Sharing | 99 | |
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing | 115 | |
A Symbolic Semantics for Abstract Model Checking | 134 | |
Automatic Determination of Communication Topologies in Mobile Systems | 152 | |
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation | 168 | |
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs | 184 | |
Refining Static Analyses by Trace-Based Partitioning Using Control Flow | 200 | |
Building Complete Abstract Interpretations in a Linear Logic-Based Setting | 215 | |
On the Power of Homeomorphic Embedding for Online Termination | 230 | |
Analysis of Imperative Programs through Analysis of Constraint Logic Programs | 246 | |
Improving Control in Functional Logic Program Specialization | 262 | |
Directional Type Inference for Logic Programs | 278 | |
Finite Subtype Inference with Explicit Polymorphism | 295 | |
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis | 311 | |
A New Solution to the Hidden Copy Problem | 327 | |
A Tutorial on Domain Theory in Abstract Interpretation | 349 | |
Program Analysis as Model Checking of Abstract Interpretations | 351 | |
Certifying, Optimizing Compilation | 381 | |
Author Index | 383 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionStatic Analysis, Vol. 150
X
This Item is in Your InventoryStatic Analysis, Vol. 150
X
You must be logged in to review the productsX
X
X
Add Static Analysis, Vol. 150, , Static Analysis, Vol. 150 to the inventory that you are selling on WonderClubX
X
Add Static Analysis, Vol. 150, , Static Analysis, Vol. 150 to your collection on WonderClub |