References of Functional_Abstraction

Toward a Framework for Conceptual and Formal Outlines of Programs, F. Balmas
Available as

@InProceedings{	  balmas:toward,
  author	= {F. Balmas},
  title		= {Toward a Framework for Conceptual and Formal Outlines of
		  Programs},
  booktitle	= {Fourth Working Conference on Reverse Engineering},
  publisher	= {IEEE Computer Society },
  year		= {1997},
  pages		= {226 - 235},
  address	= {Amsterdam, The Netherlands},
  month		= {October},
  url		= {http://www.ai.univ-paris8.fr/~fb/},
  abstract	= {In this paper, we propose to re-document programs with
		  outlines. The interest of outlines is that they allow to
		  contract, as in a zoom, the amount of information necessary
		  to understand programs, easing walking through them to
		  localize given computations or to identify the role of a
		  piece of code. As a first stage toward a framework of
		  program outlines, we have defined a model suited to the
		  representation of computations performed within loops. The
		  main feature of our outlines is that they are both formal
		  and conceptual: they are represented within frames which
		  are semantically equivalent to the outlined loops and help
		  understanding what is computed by revealing how this is
		  computed. In order to re-document loops, we implemented a
		  system, PRISME, able to automatically construct outlines of
		  a subset of Lisp looping functions. PRISME allowed us to
		  validate the implementation of our model. Currently, we use
		  it intensively to experiment the role of outlines for
		  debugging and reverse specification of programs. },
  keywords	= {re-documentation, program representation, outlines},
  class		= {Knowledge-Based_Concept_Assignment
		  Software_Reverse_Engineering Others Reverse_Design
		  Functional_Abstraction
		  Fundamental_Methods_in_Reverse_Design
		  Program_Plan_Assignment_by_Parsing
		  Intermediate_Representations_of_Source_Code }
}

Using Function Abstraction to Understand Program Behavior, P.A. Hausler and M.G. Pleszkoch and R.C. Linger and A.R. Hevner

@Article{	  hausler.pleszkoch.ea:using,
  author	= {P.A. Hausler and M.G. Pleszkoch and R.C. Linger and A.R.
		  Hevner},
  title		= {Using Function Abstraction to Understand Program
		  Behavior},
  journal	= {IEEE Software},
  volume	= {7},
  number	= {1},
  pages		= {55-63},
  year		= {1990},
  note		= { In this paper it is avocated to improve the understanding
		  of programs by structuring them. The authors think that the
		  potential exists for an automated tool to take unstructured
		  code and derive its functionality},
  class		= {Software_Reverse_Engineering, Reverse_Design,
		  Functional_Abstraction}
}

Problem Domain, Strutural and Logical Abstractions in Reverse Engineering, W. E. Howden and Suehee Pak

@InProceedings{	  howden.pak:problem,
  author	= {W. E. Howden and Suehee Pak},
  title		= {Problem Domain, Strutural and Logical Abstractions in
		  Reverse Engineering},
  pages		= {214-224},
  booktitle	= {Proceedings of the  International Conference on Software
		  Maintenance ~1992},
  year		= {1992},
  publisher	= {IEEE Computer Society Press},
  month		= nov,
  abstract	= {Reverse Engineering abstractions are considered. Three
		  kinds of abstractions are identified: problem domain,
		  strutural, and logical. Problem domain abstractions
		  correspond to concepts from a program's application area.
		  Structural abstractions are used to eliminate
		  implementation details and redundant information. Logical
		  abstractions are properties that can be logically derived
		  from code. A method for generating functional
		  specifications is described, which incorporates the
		  abstraction techniques. It has been applied to a variety of
		  COBOL programs and been found to generate 'natural'
		  abstract program descriptions. The paper describes work in
		  progress, and we expect the methods to evolve. An analysis
		  tool is being concstructed that will be used to help verify
		  the approach and to assess its complexity and computational
		  requirements.},
  class		= {Software_Reverse_Engineering, Reverse_Design,
		  Functional_Abstraction}
}

Date: Sat Nov 21 23:57:14 CET 2009