On the public citation graph

Slicing programs in the presence of errors

https://doi.org/10.1007/bf01213536
0 signed · 27 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/stvr.4370050303openalex-snapshot
Using program slicing to simplify testing
inferredcites →https://doi.org/10.1016/0020-0190(88)90054-3openalex-snapshot
Dynamic program slicing
inferredcites →https://doi.org/10.1109/32.310673openalex-snapshot
Measuring functional cohesion
inferredcites →https://doi.org/10.1109/32.83912openalex-snapshot
Using program slicing in software maintenance
inferredcites →https://doi.org/10.1109/tse.1984.5010248openalex-snapshot
Program Slicing
inferredcites →https://doi.org/10.1145/113445.113455openalex-snapshot
The semantic approach to program slicing
inferredcites →https://doi.org/10.1145/174245.174252openalex-snapshot
RECOUP—maintaining Fortran
inferredcites →https://doi.org/10.1145/24039.24041openalex-snapshot
The program dependence graph and its use in optimization
inferredcites →https://doi.org/10.1145/65979.65980openalex-snapshot
Integrating noninterfering versions of programs
inferredcites →https://doi.org/10.1145/73141.74820openalex-snapshot
The semantics of program dependence
inferredcites →https://doi.org/10.1145/73560.73572openalex-snapshot
Integrating non-intering versions of programs
inferredcites →https://doi.org/10.1145/74818.74820openalex-snapshot
The semantics of program dependence
inferredcites →https://doi.org/10.5555/257572.257586openalex-snapshot
Rule-based approach to computing module cohesion
inferredcites →https://doi.org/10.7302/11363openalex-snapshot
Program Slices: Formal, Psychological, And Practical Investigations Of An Automatic Program Abstraction Method.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/swf.41openalex-snapshot
An overview of program slicing
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_11openalex-snapshot
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
inferred← citeshttps://doi.org/10.1007/s00165-017-0439-xopenalex-snapshot
Cut branches before looking for bugs: certifiably sound verification on relaxed slices
inferred← citeshttps://doi.org/10.1016/j.scico.2006.04.007openalex-snapshot
A formalisation of the relationship between forms of program slicing
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.01.012openalex-snapshot
Theoretical foundations of dynamic program slicing
inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00161-8openalex-snapshot
On the relationship between model-based debugging and program slicing
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00374-2openalex-snapshot
Equivalence of conservative, free, linear program schemas is decidable
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/icsm.2004.1357836openalex-snapshot
Advanced slicing of sequential and concurrent programs
inferred← citeshttps://doi.org/10.1109/scam.2005.18openalex-snapshot
Minimal Slicing and the Relationships Between Forms of Slicing
inferred← citeshttps://doi.org/10.1109/wcre.2001.957807openalex-snapshot
Node coarsening calculi for program slicing
inferred← citeshttps://doi.org/10.1145/1050849.1050865openalex-snapshot
A brief survey of program slicing
inferred← citeshttps://doi.org/10.70675/80ef112az3719z44e8zab54z0d2930f03c25openalex-snapshot
Certified algorithms for program slicing
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.