On the public citation graph
Slicing concurrent programs
0 signed · 106 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.4380220103openalex-snapshot
Experience compiling Fortran to program dependence graphs
inferredcites →https://doi.org/10.1007/3-540-55585-4_14openalex-snapshot
Task Dependence Net as a representation for concurrent Ada programs
inferredcites →https://doi.org/10.1007/3-540-55844-6_148openalex-snapshot
Interprocedural dynamic slicing
inferredcites →https://doi.org/10.1007/3-540-57502-2_67openalex-snapshot
Distributed slicing and partial re-execution for distributed programs
inferredcites →https://doi.org/10.1007/978-4-431-68144-1_11openalex-snapshot
Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems
inferredcites →https://doi.org/10.1007/bfb0024176openalex-snapshot
Bug localization by algorithmic debugging and program slicing
inferredcites →https://doi.org/10.1109/32.58784openalex-snapshot
A formal model of program dependences and its implications for software testing, debugging, and maintenance
inferredcites →https://doi.org/10.1109/32.6169openalex-snapshot
PELAS-program error-locating assistant system
inferredcites →https://doi.org/10.1109/52.43056openalex-snapshot
A framework for distributed debugging
inferredcites →https://doi.org/10.1109/tencon.1993.320005openalex-snapshot
Compiling programs to their dependence-based representations
inferredcites →https://doi.org/10.1145/128733.128737openalex-snapshot
High-level language debugging for concurrent programs
inferredcites →https://doi.org/10.1145/146543.146545openalex-snapshot
The Task Dependence Net in Ada software development
inferredcites →https://doi.org/10.1145/24039.24041openalex-snapshot
The program dependence graph and its use in optimization
inferredcites →https://doi.org/10.1145/358557.358577openalex-snapshot
Programmers use slices when debugging
inferredcites →https://doi.org/10.1145/390010.808263openalex-snapshot
The program dependence graph in a software development environment
inferredcites →https://doi.org/10.1145/390011.808263openalex-snapshot
The program dependence graph in a software development environment
inferredcites →https://doi.org/10.1145/77606.77608openalex-snapshot
Interprocedural slicing using dependence graphs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(200001)30:1<17::aid-spe290>3.0.co;2-2openalex-snapshot
Static slicing in Unix process environment
inferred← citeshttps://doi.org/10.1002/(sici)1099-1689(199912)9:4<233::aid-stvr191>3.0.co;2-3openalex-snapshot
Using program slicing to assist in the detection of equivalent mutants
inferred← citeshttps://doi.org/10.1002/cpe.3711openalex-snapshot
A systematic review of approaches for testing concurrent programs
inferred← citeshttps://doi.org/10.1002/smr.1596openalex-snapshot
Metrics for quantifying evolutionary changes in Z specifications
inferred← citeshttps://doi.org/10.1002/stvr.1797openalex-snapshot
Effective fault localization and context‐aware debugging for concurrent programs
inferred← citeshttps://doi.org/10.1002/stvr.4370050303openalex-snapshot
Using program slicing to simplify testing
inferred← citeshttps://doi.org/10.1007/11573937_15openalex-snapshot
Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs
inferred← citeshttps://doi.org/10.1007/11888116_18openalex-snapshot
A New Approach for Concurrent Program Slicing
inferred← citeshttps://doi.org/10.1007/3-540-36103-0_45openalex-snapshot
Slicing Hierarchical Automata for Model Checking UML Statecharts
inferred← citeshttps://doi.org/10.1007/3-540-44467-x_2openalex-snapshot
Dynamic Slicing of Concurrent Programs
inferred← citeshttps://doi.org/10.1007/3-540-48294-6_1openalex-snapshot
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
inferred← citeshttps://doi.org/10.1007/978-3-031-17244-1_8openalex-snapshot
Program Slicing Techniques with Support for Unconditional Jumps
inferred← citeshttps://doi.org/10.1007/978-3-540-40018-9_5openalex-snapshot
Useless-Code Elimination and Program Slicing for the Pi-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-00515-2_8openalex-snapshot
The MEB and CEB Static Analysis for CSP Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_11openalex-snapshot
Correct Refactoring of Concurrent Java Code
inferred← citeshttps://doi.org/10.1007/978-3-642-38197-3_8openalex-snapshot
Types vs. PDGs in Information Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-981-10-1536-6_10openalex-snapshot
A Supporting Environment for Contract-Based Programming with Ada 2012
inferred← citeshttps://doi.org/10.1007/s00446-004-0117-0openalex-snapshot
Techniques and applications of computation slicing
inferred← citeshttps://doi.org/10.1007/s100090050041openalex-snapshot
Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
inferred← citeshttps://doi.org/10.1007/s10270-008-0111-2openalex-snapshot
Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
inferred← citeshttps://doi.org/10.1007/s10515-009-0048-xopenalex-snapshot
Precise slicing of concurrent programs
inferred← citeshttps://doi.org/10.1007/s11219-010-9114-7openalex-snapshot
Advanced chopping of sequential and concurrent programs
inferred← citeshttps://doi.org/10.1007/s13369-019-04091-3openalex-snapshot
Computing Dynamic Slices of Concurrent Feature-Oriented Programs
inferred← citeshttps://doi.org/10.1016/0743-1066(94)90030-2openalex-snapshot
Logic programming environments: Dynamic program analysis and debugging
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.12.039openalex-snapshot
Slicing-based Reductions for Rebeca
inferred← citeshttps://doi.org/10.1016/j.ic.2012.02.005openalex-snapshot
Static slicing of explicitly synchronized languages
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.09.003openalex-snapshot
Reducing scheduling sequences of message-passing parallel programs
inferred← citeshttps://doi.org/10.1016/j.jss.2006.01.009openalex-snapshot
Distributed dynamic slicing of Java programs
inferred← citeshttps://doi.org/10.1016/j.scico.2010.02.003openalex-snapshot
Actor-based slicing techniques for efficient reduction of Rebeca models
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00089-5openalex-snapshot
Dynamic program slicing methods
inferred← citeshttps://doi.org/10.1023/a:1022885523034openalex-snapshot
A Hierarchical Test Generation Approach Using Program Slicing Techniques on Hardware Description Languages
inferred← citeshttps://doi.org/10.1023/b:ause.0000008668.12782.6copenalex-snapshot
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
inferred← citeshttps://doi.org/10.1093/comjnl/bxh121openalex-snapshot
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas
inferred← citeshttps://doi.org/10.1109/32.581327openalex-snapshot
Computation of dynamic program slices for unstructured programs
inferred← citeshttps://doi.org/10.1109/access.2019.2927263openalex-snapshot
A Decomposition-Based Development Method for Industrial Control Systems
inferred← citeshttps://doi.org/10.1109/apaq.2000.883776openalex-snapshot
An approach to analyzing dependency of concurrent programs
inferred← citeshttps://doi.org/10.1109/apdc.1997.574057openalex-snapshot
Dependence analysis of parallel and distributed programs and its applications
inferred← citeshttps://doi.org/10.1109/apsec.1995.496974openalex-snapshot
An integrated support environment for distributed software development based on unified program representations
inferred← citeshttps://doi.org/10.1109/apsec.2005.51openalex-snapshot
Computation of dynamic slices for object-oriented concurrent programs
inferred← citeshttps://doi.org/10.1109/ase.2002.1115030openalex-snapshot
Dependence management for dynamic reconfiguration of component-based distributed systems
inferred← citeshttps://doi.org/10.1109/ceec.2010.5606493openalex-snapshot
Concurrent statechart slicing
inferred← citeshttps://doi.org/10.1109/cmpsac.1993.404187openalex-snapshot
Process dependence net of distributed programs and its applications in development of distributed systems
inferred← citeshttps://doi.org/10.1109/cmpsac.1996.544182openalex-snapshot
Static slicing of concurrent object-oriented programs
inferred← citeshttps://doi.org/10.1109/confluence.2014.6949332openalex-snapshot
Study of current program slicing techniques
inferred← citeshttps://doi.org/10.1109/empdp.1996.500584openalex-snapshot
Dynamic slicing of parallel message-passing programs
inferred← citeshttps://doi.org/10.1109/euc.2008.173openalex-snapshot
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing
inferred← citeshttps://doi.org/10.1109/hldvt.2006.319976openalex-snapshot
Taming the Complexity of STE-based Design Verification Using Program Slicing
inferred← citeshttps://doi.org/10.1109/iceccs.1998.706659openalex-snapshot
Applying slicing technique to software architectures
inferred← citeshttps://doi.org/10.1109/icess.2009.79openalex-snapshot
Uncertainty Problem in Dynamic Slicing of Concurrent Programs
inferred← citeshttps://doi.org/10.1109/icpp.1993.69openalex-snapshot
Dependence-Based Complexity Metwircs for Distributed Programs
inferred← citeshttps://doi.org/10.1109/icsm.1995.526544openalex-snapshot
Dynamic slicing of distributed programs
inferred← citeshttps://doi.org/10.1109/icsm.2008.4658058openalex-snapshot
Dynamic slicing of multithreaded programs for race detection
inferred← citeshttps://doi.org/10.1109/icsm.2012.6405325openalex-snapshot
Dependence communities in source code
inferred← citeshttps://doi.org/10.1109/icsme58846.2023.00019openalex-snapshot
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited
inferred← citeshttps://doi.org/10.1109/memcod.2008.4547685openalex-snapshot
Rule-Based Approaches for Equivalence Checking of SpecC Programs
inferred← citeshttps://doi.org/10.1109/pdse.1999.779738openalex-snapshot
Channel dependence analysis for slicing Promela
inferred← citeshttps://doi.org/10.1109/qsic.2006.60openalex-snapshot
Static Slicing for Pervasive Programs
inferred← citeshttps://doi.org/10.1109/scam.2001.972675openalex-snapshot
Program slicing: methods and applications
inferred← citeshttps://doi.org/10.1109/scam.2007.3openalex-snapshot
Seventh IEEE International Working Conference on Source Code Analysis and Manipulation-Copyright
inferred← citeshttps://doi.org/10.1109/scam.2007.9openalex-snapshot
An Evaluation of Slicing Algorithms for Concurrent Programs
inferred← citeshttps://doi.org/10.1109/tpds.2007.1077openalex-snapshot
Solving Computation Slicing Using Predicate Detection
inferred← citeshttps://doi.org/10.1109/tse.2025.3538279openalex-snapshot
Program Slicing: A Brief Retrospective
inferred← citeshttps://doi.org/10.1109/wcre.2003.1287244openalex-snapshot
Identification of software instabilities
inferred← citeshttps://doi.org/10.1109/wpc.1997.601269openalex-snapshot
Dynamic program slicing in understanding of program execution
inferred← citeshttps://doi.org/10.1109/wpc.1999.777751openalex-snapshot
Slicing concurrent Java programs
inferred← citeshttps://doi.org/10.1134/s036176880606003xopenalex-snapshot
Scaling down discrete-event simulation models
inferred← citeshttps://doi.org/10.1142/s021819400100061xopenalex-snapshot
ARCHITECTURE-LEVEL DEPENDENCE ANALYSIS FOR SOFTWARE SYSTEMS
inferred← citeshttps://doi.org/10.1145/1050849.1050865openalex-snapshot
A brief survey of program slicing
inferred← citeshttps://doi.org/10.1145/1186632.1186636openalex-snapshot
Interprocedural slicing of multithreaded programs with applications to Java
inferred← citeshttps://doi.org/10.1145/186258.186514openalex-snapshot
Forward computation of dynamic program slices
inferred← citeshttps://doi.org/10.1145/2187671.2187674openalex-snapshot
A vocabulary of program slicing-based techniques
inferred← citeshttps://doi.org/10.1145/2678015.2682533openalex-snapshot
Safe Concurrency Introduction through Slicing
inferred← citeshttps://doi.org/10.1145/277631.277638openalex-snapshot
Static slicing of threaded programs
inferred← citeshttps://doi.org/10.1145/277631.277640openalex-snapshot
Recovering software architecture from multiple source code analyses
inferred← citeshttps://doi.org/10.1145/380752.380864openalex-snapshot
On optimal slicing of parallel programs
inferred← citeshttps://doi.org/10.1145/940071.940096openalex-snapshot
Context-sensitive slicing of concurrent programs
inferred← citeshttps://doi.org/10.1504/ijes.2009.027241openalex-snapshot
Program slicing across the hardware-software boundary for embedded systems
inferred← citeshttps://doi.org/10.21236/ada417480openalex-snapshot
Dependence Graphs for Information Assurance of Systems
inferred← citeshttps://doi.org/10.4995/thesis/10251/31651openalex-snapshot
Analysis Techniques for Concurrent Programming Languages
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.