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

Output details

11 - Computer Science and Informatics

De Montfort University

Return to search Previous output Next output

Output 35 of 104 in the submission

Article title

Deriving a Slicing Algorithm via FermaT Transformations

Type

D - Journal article

DOI

10.1109/TSE.2010.13

Title of journal

IEEE Transactions on Software Engineering

Article number

Volume number

Issue number

First page of article

ISSN of journal

0098-5589

Year of publication

2011

URL

Number of additional authors

Additional information

<07> Program slicing is used in the FermaT Assembler Workbench which is being marketed by Software Migrations Ltd, and is currently being used by a number of large corporations to maintain their assembler software portfolios. Correctness of the slicing algorithms is therefore an important consideration. Industrial Contact: CEO of Software Migrations Ltd.

Interdisciplinary

Cross-referral requested

Research group

D - Software Technology Research Laboratory (STRL)

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract