A unifying theory of control dependence and its application to arbitrary program structures
type: Item
instance of: scholarly article
title: A unifying theory of control dependence and its application to arbitrary program structures
zbMATH Open document ID: 1231.68179
author: Sebastian Danicic
author: Richard W. Barraclough
author: Mark Harman
author: J. D. Howroyd
author: Ákos Kiss
author: Michael R. Laurence
published in: Theoretical Computer Science
publication date: 2011-12-07T00:00:00Z
full work available at URL: danicic-condep-authorscopy.pdf
Mathematics Subject Classification ID: 68R10
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5987006
zbMATH Keywords: control dependence
zbMATH Keywords: program dependence
zbMATH Keywords: program analysis
zbMATH Keywords: software engineering
zbMATH Keywords: program slicing
zbMATH Keywords: formal methods
zbMATH Keywords: program semantics
zbMATH Keywords: graph theory
Wikidata QID: Q59609313
MaRDI profile type: Publication
OpenAlex ID: W2152565800
cites work: Slicing for modern program structures: a theory for eliminating irrelevant loops
cites work: A trajectory-based strict semantics for program slicing
cites work: Theoretical foundations of dynamic program slicing
cites work: A formal relationship between program slicing and partial evaluation
cites work: A formalisation of the relationship between forms of program slicing
cites work: A non-standard semantics for program slicing and dependence analysis
cites work: Certification of programs for secure information flow
cites work: The program dependence graph and its use in optimization
cites work: Maximum-Minimum Sätze und verallgemeinerte Faktoren von Graphen
cites work: Eliminating go to's while preserving program structure
cites work: Programming Languages and Systems
cites work: Program Slicing
DOI: 10.1016/J.TCS.2011.08.033
description: scientific article; zbMATH DE number 5987006