Work

Property Driven Program Slicing Refinement

Year: 2011

Type: conference-paper

Abstract: A slice is usually computed by analyzing how the effects of a computation are propagated through the code, i.e., by inferring dependencies. The aim of this paper is to further refine the traditional slicing technique by combining it with a static analysis in Abstract Interpretation based framework. This results into a deeper insight on the strong relation between slicing and property based dependency. 1

Source: International Conference on Software Technologies (ICSOFT)

DOI: 10.5220/0003490101490155

Authors: Sukriti Bhattacharya, Agostino Cortesi

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W2400362411

FWCI:

Cites: 8

Cited by:

Related to: 10