Manipulation M. P. Ward Software Technology Research Lab De Montfort...  Home/Search
Context Related
| cse.dmu.ac.uk/~mward/...keynotet.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cse.dmu.ac.uk/~mward/mart...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we give a brief introduction to the foundations of WSL transformation theory and describe some applications to program slicing. We introduce some generalisations of traditional slicing, amorphous slicing and conditioned slicing which are possible in the framework of WSL transformations. One generalisation is "semantic slicing" which combines slicing and abstraction to a specification. (Update)
Cited by: More
Slicing the SCAM Mug: A Case Study in Semantic Slicing - Ward Software Technology (Correct)
Conditioned Semantic Slicing via Abstraction and Refinement in .. - Ward Zedan And (2005) (Correct)
Similar documents (at the sentence level): More
62.5%: Program Slicing via FermaT Transformations - Ward (2002) (Correct)
12.5%: Pigs from Sausages? Reengineering from Assembler to C via FermaT.. - Ward (2004) (Correct)
12.5%: Pigs from Sausages? Reengineering from Assembler to C via - Fermat Transformations Ward (Correct)
Active bibliography (related documents): More All
0.4: The Formal Transformation Approach to Source Code Analysis and.. - Ward (2001) (Correct)
0.3: Derivation of Data Intensive Algorithms by Formal Transformation.. - Ward (1996) (Correct)
0.3: Derivation of Data Intensive Algorithms by Formal Transformation - .. - Ward (1996) (Correct)
Similar documents based on text:
1.0: Unknown - (Correct)
Related documents from co-citation: More All
3: GUSTT: An amorphous slicing system which combines slicing and transformation - Harman, Hu et al. - 2001
3: A survey of program slicing (context) - Binkley, Gallagher - 1996
3: Two Conjectures, or How to Win 1100 (context) - Thwaites - 1996
BibTeX entry: (Update)
M. Ward, "The Formal Transformation Approach to Source Code Analysis and Manipulation," IEEE International Workshop on Source Code Analysis and Manipulation Florence, Italy, 10th November , Los Alamitos, California, USA (2001). http://citeseer.ist.psu.edu/ward01formal.html More
@misc{ ward01formal,
author = "M. Ward",
title = "The Formal Transformation Approach to Source Code Analysis and Manipulation",
text = "M. Ward, The Formal Transformation Approach to Source Code Analysis and
Manipulation, IEEE International Workshop on Source Code Analysis and Manipulation
Florence, Italy, 10th November , Los Alamitos, California, USA (2001).",
year = "2001",
url = "citeseer.ist.psu.edu/ward01formal.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
293 Programming from Specifications (context) - Morgan - 1994
114 A Calculus of Refinements for Program Derivations (context) - Back - 1988
46 Amorphous program slicing - Harman, Danicic - 1997
37 Conditioned program slicing (context) - Canfora, Cimitile et al. - 1998
32 Specification Statements and Refinements (context) - Morgan, Robinson - 1987
29 Abstracting a Specification from Code - Ward - 1993
26 Refinement Concepts Formalised in Higher-Order Logic (context) - Back, von Wright - 1990
20 ConSIT: A conditioned program slicer - Harman, Danicic et al. - 2000
20 Proving Program Refinements and Transformations (context) - Ward - 1989
10 Correctness Preserving Program Refinements (context) - Back - 1980
9 Foundations for a Practical Theory of Program Refinement and.. (context) - Ward - 1994
4 Reverse Engineering from Assembler to Formal Specifications .. - Ward - 2000
2 Assembler to C Migration using the FermaT Transformation Sys.. - Ward - 1999
Documents on the same site (http://www.cse.dmu.ac.uk/~mward/martin/papers/index.html): More
Using Formal Transformations to Construct a Component Repository - Ward (1993) (Correct)
Legacy Assembler Reengineering and Migration - Ward, Zedan, Hardcastle (Correct)
Language Oriented Programming - Ward (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC