article

Free access

The semantic approach to program slicing

Author:

G. A. VenkateshAuthors Info & Claims

ACM SIGPLAN Notices, Volume 26, Issue 6

Pages 107 - 119

https://doi.org/10.1145/113446.113455

Published: 01 May 1991 Publication History

PDF eReader

References

[1]

H. Agrawal and B. Horgan, "Dynamic Program Slicing,'' Sigplan Notices 25(6) pp. 246-256 (June 1990). Proc. of the SIGPLAN '90 Sym. on Prog. Lang. Design and impl.

Digital Library

Google Scholar

[2]

R. Cartwright and M. FeUeisen, "The Semantics of Program Dependence," Sigplan Notices 24(7)pp. 13-27 (June 1989). Proc. SIGPLAN '89 Conf. on Programming Language Design and Implementation

Digital Library

Google Scholar

[3]

S. Horwitz, j. Prins, and T. Reps, "Integrating Non- Interfering Versions of Programs," pp. 133-145 in Proc. 15th ACM Syrup. on Principles of Programming Languages, (January 1988).

Digital Library

Google Scholar

[4]

S. Horwitz, T. Reps, and D. B inkley, "Interprocedural slicing using dependence graphs," ACM TOPLAS 12(1) pp. 26-60 (Jan 1990)

Digital Library

Google Scholar

[5]

B. Korel and J. Laski, "Dynamic program slicing," Information Processing Letters 29pp. 155-163 (October 1988).

Digital Library

Google Scholar

[6]

K.J. Ottenstein and L. M. Ottenstein, "The program dependence graph in a software development environment," SIGPLAN Notices 19(5) pp. 177-184 (May 1984). Proc. of the ACM SIGSOFT/SIGPLAN Symp. on practical SDEs

Digital Library

Google Scholar

[7]

T. Reps and W. Yang, "The semantics of program slicing," Technical Report TR-777, Computer Science Dept., Univ. of Wisconsin (June 1988).

Google Scholar

[8]

G.A. Venkatesh, "Semantics of program slicing," Bellcore TM-ARH-018561 (Nov 1990).

Google Scholar

[9]

M. Weiser, Program Slices: Formal, psychological, and practical investigations of an automatic program abstraction model, Ph.D. Thesis 1979.

Digital Library

Google Scholar

[10]

M. Weiser, "Program Slicing," IEEE Transactions on Software Engineering SE-10(4) pp. 352-357 (July 1984).

Digital Library

Google Scholar

Cited By

View all

Pujari NRay ASingh J(2021)An efficient and precise dynamic slicing for concurrent component-oriented programsInternational Journal of Knowledge-based and Intelligent Engineering Systems10.3233/KES-21008825:4(449-464)Online publication date: 1-Jan-2021
https://dl.acm.org/doi/10.3233/KES-210088
Binalialhag THassine JAmyot D(2019)Static slicing of Use Case Maps requirements modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0680-718:4(2465-2505)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s10270-018-0680-7
Danicic SLaurence M(2018)Static Backward Slicing of Non-deterministic Programs and SystemsACM Transactions on Programming Languages and Systems10.1145/288609840:3(1-46)Online publication date: 25-Aug-2018
https://dl.acm.org/doi/10.1145/2886098
Show More Cited By

Index Terms

The semantic approach to program slicing
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language features
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
    2. Program semantics
      1. Denotational semantics

Recommendations

A brief survey of program slicing

Program slicing is a technique to extract program parts with respect to some special computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers have been presented in this area. Tens of variants of slicing have been ...
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing

In the present article, we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference ...
Abstract program slicing: from theory towards an implementation
ICFEM'10: Proceedings of the 12th international conference on Formal engineering methods and software engineering

In this paper we extend the formal framework proposed by Binkley et al. for representing and comparing forms of program slicing. This framework describes many well-known forms of slicing in a unique formal structure based on (abstract) projections of ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 26, Issue 6

June 1991

352 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/113446

Editor:
Richard L. Wexelblat
IDA/CSED, Alexandria, VA

Issue’s Table of Contents

PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
May 1991
356 pages
ISBN:0897914287
DOI:10.1145/113445
Chairman:
David S. Wise
Indiana Univ., Bloomington

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1991

Published in SIGPLAN Volume 26, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

141
Total Citations
View Citations
1,492
Total Downloads

Downloads (Last 12 months)179
Downloads (Last 6 weeks)19

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pujari NRay ASingh J(2021)An efficient and precise dynamic slicing for concurrent component-oriented programsInternational Journal of Knowledge-based and Intelligent Engineering Systems10.3233/KES-21008825:4(449-464)Online publication date: 1-Jan-2021
https://dl.acm.org/doi/10.3233/KES-210088
Binalialhag THassine JAmyot D(2019)Static slicing of Use Case Maps requirements modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0680-718:4(2465-2505)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s10270-018-0680-7
Danicic SLaurence M(2018)Static Backward Slicing of Non-deterministic Programs and SystemsACM Transactions on Programming Languages and Systems10.1145/288609840:3(1-46)Online publication date: 25-Aug-2018
https://dl.acm.org/doi/10.1145/2886098
Cai HSantelices RThain D(2016)DiaProACM Transactions on Software Engineering and Methodology10.1145/289475125:2(1-50)Online publication date: 6-Apr-2016
https://dl.acm.org/doi/10.1145/2894751
Ward MZedan H(2016)The formal semantics of program slicing for nonterminating computationsJournal of Software: Evolution and Process10.1002/smr.180329:1Online publication date: 4-Oct-2016
https://doi.org/10.1002/smr.1803
Barr EHarman MJia YMarginean APetke JYoung MXie T(2015)Automated software transplantationProceedings of the 2015 International Symposium on Software Testing and Analysis10.1145/2771783.2771796(257-269)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1145/2771783.2771796
Boutellier JErsfolk JLilius JMattavelli MRoquier GSilven O(2015)Actor Merging for Dataflow Process NetworksIEEE Transactions on Signal Processing10.1109/TSP.2015.241122963:10(2496-2508)Online publication date: May-2015
https://doi.org/10.1109/TSP.2015.2411229
Cai HSantelices R(2015)A framework for cost-effective dependence-based dynamic impact analysis2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER)10.1109/SANER.2015.7081833(231-240)Online publication date: Mar-2015
https://doi.org/10.1109/SANER.2015.7081833
Alomari HCollard MMaletic JAlhindawi NMeqdadi O(2014)srcSliceJournal of Software: Evolution and Process10.1002/smr.165126:11(931-961)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1002/smr.1651
Halder RCortesi A(2013)Abstract program slicing on dependence condition graphsScience of Computer Programming10.1016/j.scico.2012.05.00778:9(1240-1263)Online publication date: Sep-2013
https://doi.org/10.1016/j.scico.2012.05.007
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

A brief survey of program slicing

Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing

Abstract program slicing: from theory towards an implementation

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations