scholarly journals Object-oriented Programming Laws for Annotated Java Programs

2010 ◽  
Vol 21 ◽  
pp. 65-76
Author(s):  
Gabriel Falconieri Freitas ◽  
Márcio Cornélio ◽  
Tiago Massoni ◽  
Rohit Gheyi
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Java Programs

scholarly journals Adaptation of a Refactoring DSL for the Object-Oriented Paradigm

2021 ◽  
Author(s):  
Dávid J. Németh ◽  
Dániel Horpácsi ◽  
Máté Tejfel
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Domain Specific Language ◽  
Description Language ◽  
Domain Specific ◽  
Java Programs ◽  
Class Hierarchies ◽  
Conditional Term ◽  
Rewrite Rules ◽  
Definition Of

Many development environments offer refactorings aimed at improving non-functional properties of software, but we have no guarantees that these transformations indeed preserve the observable behavior of the source code they are applied on. An existing domain-specific language makes it possible to formalize automatically verifiable refactorings via instantiating predefined transformation schemes with conditional term rewrite rules. We present a proposal for adapting this language from the functional to the object-oriented programming paradigm, using Java instead of Erlang as a representative. The behavior-preserving property of discussed refactorings is characterized with a multilayered definition of equivalence for Java programs, including the conformity relation of class hierarchies. Based on the decomposition of a complex refactoring rule, we show how new transformation schemes can be identified, along with modifications and extensions of the description language required to accommodate them. Finally, we formally define the chosen base refactoring as a composition of scheme instances.

Distributed Object Oriented Programming

1990 ◽  
Author(s):  
E. H. Bensley ◽  
T. J. Brando ◽  
J. C. Fohlin ◽  
M. J. Prelle ◽  
A. M. Wollrath
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Distributed Object
Sign in / Sign up

Export Citation Format

Share Document