Article

Program Specialization via Program Slicing

Authors:

Thomas W. Reps,

Todd TurnidgeAuthors Info & Claims

Selected Papers from the International Seminar on Partial Evaluation

Pages 409 - 429

Published: 12 February 1996 Publication History

Abstract

No abstract available.

Cited By

View all

K. PSanyal AKarkare APadhi SAmaral JKulkarni M(2019)A static slicing method for functional programs and its incremental versionProceedings of the 28th International Conference on Compiler Construction10.1145/3302516.3307345(53-64)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.1145/3302516.3307345
Giacobazzi RMastroeni IDalla Preda M(2017)Maximal incompleteness as obfuscation potencyFormal Aspects of Computing10.1007/s00165-016-0374-229:1(3-31)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1007/s00165-016-0374-2
Srinivasan VReps T(2016)An improved algorithm for slicing machine codeACM SIGPLAN Notices10.1145/3022671.298400351:10(378-393)Online publication date: 19-Oct-2016
https://dl.acm.org/doi/10.1145/3022671.2984003
Show More Cited By

Program Specialization via Program Slicing

Recommendations

Lightweight program specialization via dynamic slicing
WCFLP '05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming

Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any input data, dynamic slices are computed from a particular program execution. ...
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

Selected Papers from the International Seminar on Partial Evaluation

February 1996

509 pages

ISBN:3540615806

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 12 February 1996

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

45
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

K. PSanyal AKarkare APadhi SAmaral JKulkarni M(2019)A static slicing method for functional programs and its incremental versionProceedings of the 28th International Conference on Compiler Construction10.1145/3302516.3307345(53-64)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.1145/3302516.3307345
Giacobazzi RMastroeni IDalla Preda M(2017)Maximal incompleteness as obfuscation potencyFormal Aspects of Computing10.1007/s00165-016-0374-229:1(3-31)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1007/s00165-016-0374-2
Srinivasan VReps T(2016)An improved algorithm for slicing machine codeACM SIGPLAN Notices10.1145/3022671.298400351:10(378-393)Online publication date: 19-Oct-2016
https://dl.acm.org/doi/10.1145/3022671.2984003
Srinivasan VReps TVisser ESmaragdakis Y(2016)An improved algorithm for slicing machine codeProceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2983990.2984003(378-393)Online publication date: 19-Oct-2016
https://dl.acm.org/doi/10.1145/2983990.2984003
Aung MHorwitz SJoiner RReps T(2014)Specialization SlicingACM Transactions on Programming Languages and Systems10.1145/256662036:2(1-67)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1145/2566620
Chen CLu KWang XZhou XFang L(2013)Pruning False Positives of Static Data-Race Detection via Thread SpecializationRevised Selected Papers of the 10th International Symposium on Advanced Parallel Processing Technologies - Volume 829910.1007/978-3-642-45293-2_6(77-90)Online publication date: 27-Aug-2013
https://dl.acm.org/doi/10.1007/978-3-642-45293-2_6
Perera RAcar UCheney JLevy P(2012)Functional programs that explain their workACM SIGPLAN Notices10.1145/2398856.236457947:9(365-376)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2398856.2364579
Perera RAcar UCheney JLevy PThiemann PFindler R(2012)Functional programs that explain their workProceedings of the 17th ACM SIGPLAN international conference on Functional programming10.1145/2364527.2364579(365-376)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2364527.2364579
Wu JTang YHu GCui HYang J(2012)Sound and precise analysis of parallel programs through schedule specializationACM SIGPLAN Notices10.1145/2345156.225409047:6(205-216)Online publication date: 11-Jun-2012
https://dl.acm.org/doi/10.1145/2345156.2254090
Wu JTang YHu GCui HYang JVitek JLin HTip F(2012)Sound and precise analysis of parallel programs through schedule specializationProceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2254064.2254090(205-216)Online publication date: 11-Jun-2012
https://dl.acm.org/doi/10.1145/2254064.2254090
Show More Cited By

View Options

View options

Get Access

Login options

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

Abstract

Cited By

Recommendations

Lightweight program specialization via dynamic 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

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations