scholarly journals A metrics-based comparative study on object-oriented programming languages

Author(s):  
Di Wu ◽  
Lin Chen ◽  
Yuming Zhou ◽  
Baowen Xu
2012 ◽  
Vol 2 (1) ◽  
pp. 15-19
Author(s):  
Manik Sharma ◽  
Chandni Sharma ◽  
Ankur Bhardwaj ◽  
Navpreet Singh ◽  
Lakhbir Singh

The goal of this study is to compute and analyze an assortmentof static software metrics for different programming methods ortechniques. Software engineering is branch of Computer Sciencethat deals with an effective development and analysis ofsoftware product. Software engineering provides the concept ofmetrics with the help of which the complete investigation ofcode can be done in static or in dynamic way. The staticmetrics helps in measuring the effectiveness of code withoutexecuting the actual program. In this study the focus is given onanalyzing the different programming methods like function,constructor, overloading and virtual functions.


2015 ◽  
Vol 131 ◽  
pp. 333-342 ◽  
Author(s):  
Victor Berdonosov ◽  
Alena Zhivotova ◽  
Tatiana Sycheva

1999 ◽  
Vol 9 (3) ◽  
pp. 253-286 ◽  
Author(s):  
G. DELZANNO ◽  
D. GALMICHE ◽  
M. MARTELLI

This paper focuses on the use of linear logic as a specification language for the operational semantics of advanced concepts of programming such as concurrency and object-orientation. Our approach is based on a refinement of linear logic sequent calculi based on the proof-theoretic characterization of logic programming. A well-founded combination of higher-order logic programming and linear logic will be used to give an accurate encoding of the traditional features of concurrent object-oriented programming languages, whose corner-stone is the notion of encapsulation.


Sign in / Sign up

Export Citation Format

Share Document