Amanote Research
Register
Sign In
Slicing Programs With Arbitrary Control-Flow
doi 10.1007/bfb0019410
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Thomas Ball
Susan Horwitz
Publisher
Springer-Verlag
Related search
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Detection of Control Flow Errors in Parallel Programs at Compile Time
International Journal of Distributed and Parallel systems
Slicing Floorplans With Boundary Constraint
DAC-board Based X-Band EPR Spectrometer With Arbitrary Waveform Control
Journal of Magnetic Resonance
Biochemistry
Nuclear
High Energy Physics
Condensed Matter Physics
Biophysics
A Simplified Calculation of Flow Past Circular Cascades With Arbitrary Blade Sections
Transactions of the Japan Society of Mechanical Engineers
Flow Control With Electrohydrodynamic Actuators
AIAA Journal
Aerospace Engineering
Understanding the Implemented Access Control Policy of Android System Services With Slicing and Extended Static Checking
International Journal of Information Security
Information Systems
Risk
Computer Networks
Communications
Reliability
Safety
Quality
Software
Optimal Control of Flow With Discontinuities
Journal of Computational Physics
Numerical Analysis
Applied Mathematics
Simulation
Computer Science Applications
Modeling
Computational Mathematics
Astronomy
Physics
Control of Peach Scab With Reduced Midseason Fungicide Programs
Plant Disease
Plant Science
Agronomy
Crop Science