Searching for "Slicing Abstractions." – sorted by Relevance.
-
Slicing Abstractions
- Slicing Abstractions ⋆ Ingo Brückner 1 , Klaus Dräger 2 , Bernd Finkbeiner 2 , and Heike Wehrheim
- Cited by 1 (1 self) – Add To MetaCart
-
Program Slices as an Abstraction for Cohesion Measurement
- Program Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological
- Cited by 10 (0 self) – Add To MetaCart
-
Abstract Data Dependencies and Program Slicing: from Syntax to Abstract Semantics
- Abstract Data Dependencies and Program Slicing: from Syntax to Abstract Semantics Isabella
- Add To MetaCart
-
The Formal Transformation Approach to Source Code Analysis and Manipulation
- generalisation is "semantic slicing" which combines slicing and abstraction to a specification. 1 Introduction
- Cited by 6 (3 self) – Add To MetaCart
-
Measuring Functional Cohesion
- using a data slice abstraction. Our analysis identifies the data tokens that lie on more than one slice
- Cited by 107 (9 self) – Add To MetaCart
-
A Polynomial-Time Slicing Algorithm
- have introduced slicing for Abstract State Machines (ASMs). The idea of this concept is analogous
- Add To MetaCart
-
Program Slicing via FermaT Transformations
- " which combines slicing and abstraction to a specification. Interprocedural semantic slicing has been
- Cited by 16 (2 self) – Add To MetaCart
-
A formal method for program slicing
- presents a new formal method for slicing, called modular monadic slicing, by abstracting the computation
- Cited by 1 (0 self) – Add To MetaCart
-
Graph Theoretic Foundations of Program Slicing and Integration
- /2/91, 11/25/91 1 Abstract This paper generalizes program slicing algorithms originally defined over
- Cited by 6 (0 self) – Add To MetaCart
-
IF-2.0: A Validation Environment for Component-Based Real-Time Systems
- , we focused on static analysis (such as slicing and abstraction) which are mandatory for an automated
- Cited by 42 (19 self) – Add To MetaCart

