A Formal Mapping between Program Slicing and Z Specifications

A Formal Mapping between Program Slicing and Z Specifications

This paper represents a research effort towards the formal mapping between program slicing and Z specifications. General aspects of program slicing are considered, i.e. definitions of program slicing, nodes and edges of program dependence graphs, and program slicing algorithms. With this approach, w...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Fangjun Wu
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Calculus
Computer industry
Debugging
Finance
Information technology
Logic
Security
Software maintenance
Software safety
Specification languages
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper represents a research effort towards the formal mapping between program slicing and Z specifications. General aspects of program slicing are considered, i.e. definitions of program slicing, nodes and edges of program dependence graphs, and program slicing algorithms. With this approach, we provide not only a precise semantic basis for program slicing but also a sound mechanism for reasoning and verification about program slicing.
DOI:10.1109/ICCET.2009.122