Output details
11 - Computer Science and Informatics
De Montfort University
Return to search
Output 0 of 0 in the submission
Article title
Deriving a Slicing Algorithm via FermaT Transformations
Type
D - Journal article
Title of journal
IEEE Transactions on Software Engineering
Article number
-
Volume number
37
Issue number
1
First page of article
24
ISSN of journal
0098-5589
Year of publication
2011
URL
-
Number of additional authors
1
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
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-