Program Transformation with Reflection and Aspect-Oriented Programming

2006 ◽  
pp. 65-94
Author(s):  
Shigeru Chiba
Keyword(s):  
Program Transformation ◽  
Aspect Oriented Programming

Migrating production monolithic systems to microservices using aspect oriented programming

2021 ◽  
Author(s):  
Augusto Flávio A. A. Freire ◽  
Américo Falcone Sampaio ◽  
Luis Heustakio L. Carvalho ◽  
Otávio Medeiros ◽  
Nabor C. Mendonça
Keyword(s):  
Aspect Oriented Programming

Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming

2011 ◽  
Vol 46 (2) ◽  
pp. 123-126
Author(s):  
Thomas Würthinger ◽  
Walter Binder ◽  
Danilo Ansaloni ◽  
Philippe Moret ◽  
Hanspeter Mössenböck
Keyword(s):  
Dynamic Aspect ◽  
Aspect Oriented Programming ◽  
Code Evolution

scholarly journals Making legacy Fortran code type safe through automated program transformation

2021 ◽  
Author(s):  
Wim Vanderbauwhede
Keyword(s):  
Side Effect ◽  
Program Transformation ◽  
The Novel ◽  
Formal Approach ◽  
Type Checking ◽  
Type Safety ◽  
Fortran Code ◽  
Fortran 90 ◽  
Code Type ◽  
Fortran 77

AbstractFortran is still widely used in scientific computing, and a very large corpus of legacy as well as new code is written in FORTRAN 77. In general this code is not type safe, so that incorrect programs can compile without errors. In this paper, we present a formal approach to ensure type safety of legacy Fortran code through automated program transformation. The objective of this work is to reduce programming errors by guaranteeing type safety. We present the first rigorous analysis of the type safety of FORTRAN 77 and the novel program transformation and type checking algorithms required to convert FORTRAN 77 subroutines and functions into pure, side-effect free subroutines and functions in Fortran 90. We have implemented these algorithms in a source-to-source compiler which type checks and automatically transforms the legacy code. We show that the resulting code is type safe and that the pure, side-effect free and referentially transparent subroutines can readily be offloaded to accelerators.

Sign in / Sign up

Export Citation Format

Share Document