The promotion and accumulation strategies in transformational programming

1984 ◽  
Vol 6 (4) ◽  
pp. 487-504 ◽  
Author(s):  
R. S. Bird
Keyword(s):  
Transformational Programming

scholarly journals A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters

2018 ◽  
Vol 6 (1) ◽  
Author(s):  
Adenilso S. Simao ◽  
Auri M. R. Vincenzi ◽  
Antonio C. L. Santana ◽  
Jose C. Maldonado
Keyword(s):  
Automatic Generation ◽  
Product Structure ◽  
C Language ◽  
Program Instrumentation ◽  
Language L ◽  
Transformational Programming ◽  
Software Product ◽  
Target Languages ◽  
Context Free ◽  
Testing Criteria

Instrumentation is a technique frequently used in software engineering for several different purposes, e.g. program and/or specification execution trace, testing criteria coverage analy- sis, and reverse engineering. Instrumenting a software product can be divided into two main tasks: (i) deriving the software product structure and (ii) inserting statements for collecting runtime/simulation information. Most instrumentation approaches are specific to a given domain or language. Thus, it is very difficult to reuse the effort expended in developing an instrumenter, even if the target languages are quite similar. To tackle this problem, in this paper, we propose an instrumentation-oriented meta-language, named IDeL, designed to support the description of both main tasks of instru- mentation process, namely: (i) the product structure derivation and (ii) the insertion of the instrumentation statements. In order to apply IDeL to a specific language L, it should be in- stantiated with a context-free grammar of L. To promote IDeL’s practical use, we also developed a supporting tool, named idelgen, that can be thought of as an application generator, based on the transformational programming paradigm and tailored to the instrumentation process. We illustrate the main concepts of our proposal with examples describing the instrumentation required in some traditional data flow testing criteria for C language.

scholarly journals Tactics for Transformational Programming

1997 ◽  
Author(s):  
Rosemary Monahan ◽  
Franz Geiselbrechtinger
Keyword(s):  
Transformational Programming
Sign in / Sign up

Export Citation Format

Share Document