Program Slicing and Source Code Analysis: Methods and Applications
A special issue of Electronics (ISSN 2079-9292). This special issue belongs to the section "Computer Science & Engineering".
Deadline for manuscript submissions: 15 October 2024 | Viewed by 3567
Special Issue Editor
Special Issue Information
Dear Colleagues,
Software and programming languages’ complexity has been increasing steadily since the inception of the first computer programs and languages. To handle this increase in complexity, many software analysis techniques, such as program slicing, have been developed and included in the development process, for example, in IDEs, debuggers, or compilers.
Program slicing can identify which statements may affect (or be affected by) a given point in the program, the so-called slicing criterion. Even though program slicing was initially designed for debugging (where the slice includes the statements relevant to isolate and fix a bug), currently, the applications of program slicing range from program parallelization and clone detection to neural network optimization and pre-processing for other analyses in which the input size must be minimized due to a high time complexity.
This Special Issue aims to present advancements in source code analysis, synthesis, and transformation; with special emphasis (but not limited to) program slicing. Papers presenting novel techniques and their applications, novel implementations or algorithms, and any advancement in static or dynamic analysis that is relevant to source code analysis or program slicing, e.g., control dependence, System Dependence Graph, flow dependence, dicing, chopping, dependence analyses, formal aspects, usages of program slicing, tools, etc.
Technical Program Committee Member:
Name: Carlos Galindo
Email: [email protected]
Affiliation: Valencian Research Institute for Artificial Intelligence, Technical University of Valencia, Valencia 46022, Spain
Website: https://cargaji.webs.upv.es/c/
Research Interests: program slicing; static analysis; programming languages
Dr. Josep Silva
Guest Editor
Manuscript Submission Information
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Electronics is an international peer-reviewed open access semimonthly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2400 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
Keywords
- source code analysis
- applications and/or their empirical evaluation
- system dependence graph
- control and/or data dependence
- static program slicing
- dynamic program slicing
- program slicing in different programming paradigms
- formal proofs of existing or novel source code analysis techniques
- benchmark suites
- code debugging