You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Brunel University London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Brunel University London

Return to search Previous output Next output

Output 14 of 117 in the submission

Article title

A trajectory-based strict semantics for program slicing

Type

D - Journal article

DOI

10.1016/j.tcs.2009.10.025

Title of journal

Theoretical Computer Science

Article number

Volume number

411

Issue number

11-13

First page of article

1372

ISSN of journal

03043975

Year of publication

2009

URL

http://www.sciencedirect.com/science/article/pii/S0304397509007944/pdf?md5=ebcce2884776e4f4a799ef428030ea6f&pid=1-s2.0-S0304397509007944-main.pdf

Number of additional authors

Additional information

<9> Published in a top theory journal. Considers the problem of slicing a program to make it smaller while preserving aspect of behaviour. Explores the program semantics used for slicing non-terminating programs (as e.g. used in embedded systems). Previous approaches used transfinite trajectories but this paper showed how one can express the semantics in terms of finite trajectories, making it simpler to reason about slicing (and the correctness of algorithms). [Hierons TSE 2013] considers a different area (slicing models not programs) and looks at different problems (algorithms not semantics).

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract