MetaJC++: A flexible and automatic program transformation technique using meta framework

AbstractCompiler is a tool to translate abstract code containing natural language terms to machine code. Meta compilers are available to compile more than one languages. We have developed a meta framework intends to combine two dissimilar programming languages, namely C++ and Java to provide a flexible object oriented programming platform for the user. Suitable constructs from both the languages have been combined, thereby forming a new and stronger Meta-Language. The framework is developed using the compiler writing tools, Flex and Yacc to design the front end of the compiler. The lexer and parser have been developed to accommodate the complete keyword set and syntax set of both the languages. Two intermediate representations have been used in between the translation of the source program to machine code. Abstract Syntax Tree has been used as a high level intermediate representation that preserves the hierarchical properties of the source program. A new machine-independent stack-based byte-code has also been devised to act as a low level intermediate representation. The byte-code is essentially organised into an output class file that can be used to produce an interpreted output. The results especially in the spheres of providing C++ concepts in Java have given an insight regarding the potential strong features of the resultant meta-language.

Download Full-text

CSim 2

ACM Transactions on Programming Languages and Systems ◽

10.1145/3436808 ◽

2021 ◽

Vol 43 (1) ◽

pp. 1-46

Author(s):

David Sanan ◽

Yongwang Zhao ◽

Shang-Wei Lin ◽

Liu Yang

Keyword(s):

Programming Languages ◽

Concurrent Systems ◽

Theorem Prover ◽

Compositional Techniques ◽

Machine Code ◽

Top Down ◽

Hol Theorem Prover ◽

High Level ◽

High Degree

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.

Download Full-text

Learners Programming Language a Helping System for Introductory Programming Courses

Mehran University Research Journal of Engineering and Technology ◽

10.22581/muet1982.1603.05 ◽

2016 ◽

Vol 35 (3) ◽

pp. 347-358

Author(s):

Muhammad Shumail Naveed ◽

Muhammad Sarim ◽

Kamran Ahsan

Keyword(s):

Programming Languages ◽

Programming Language ◽

Retention Rate ◽

Introductory Programming ◽

Source Program ◽

Definition Of ◽

High Level ◽

Novice Students ◽

Introductory Programming Courses ◽

Programming Courses

Programming is the core of computer science and due to this momentousness a special care is taken in designing the curriculum of programming courses. A substantial work has been conducted on the definition of programming courses, yet the introductory programming courses are still facing high attrition, low retention and lack of motivation. This paper introduced a tiny pre-programming language called LPL (Learners Programming Language) as a ZPL (Zeroth Programming Language) to illuminate novice students about elementary concepts of introductory programming before introducing the first imperative programming course. The overall objective and design philosophy of LPL is based on a hypothesis that the soft introduction of a simple and paradigm specific textual programming can increase the motivation level of novice students and reduce the congenital complexities and hardness of the first programming course and eventually improve the retention rate and may be fruitful in reducing the dropout/failure level. LPL also generates the equivalent high level programs from user source program and eventually very fruitful in understanding the syntax of introductory programming languages. To overcome the inherent complexities of unusual and rigid syntax of introductory programming languages, the LPL provide elementary programming concepts in the form of algorithmic and plain natural language based computational statements. The initial results obtained after the introduction of LPL are very encouraging in motivating novice students and improving the retention rate.

Download Full-text

Pembangunan Perangkat Lunak PuniEdit (Perangkat Lunak Editor untuk Multi Language Programming)

10.31227/osf.io/f4v25 ◽

2019 ◽

Author(s):

Budiman

Keyword(s):

Programming Languages ◽

Programming Language ◽

Source Code ◽

Computer Software ◽

Object Oriented ◽

Object Oriented Programming ◽

Text Editor ◽

Development Environment ◽

Integrated Development ◽

High Level

During this period continued to develop computer software, programming language was no exception. At the start of the era of low level programming languages, then developed a high level programming language. It is characterized by the appearance of a method of programming offered by a programming language, that is, object-oriented programming (OOP). IDE (Integrated Development Environment) is a computer program that has some facilities that are required in the development of the software. The purpose of the IDEA is to provide all the necessary utilities in building software. As for the type of software text editor that can be used to manipulate the source code hereinafter referred to as the source code of programming languages such as Ultraedit, JediEdit, ClearEdit, cEdit, the Golden Pen, and so on. PuniEdit software is a text-based editor software that can simplify the user through correction, insertion, and modification of the source code. PuniEdit software is built using Borland Delphi 7.0 and SynEdit component. This software can be used for the Pascal programming language, C++ and HTML. In addition, the software PuniEdit can perform management of the token. This PuniEdit software, the user can clearly see every occurrence of the type of token as keywords (reserved word), identifier, operator, and so on.Keywords: Source code, programming language, source code is scanned.

Download Full-text

Knowledge-based systems, Lisp, and very high level implementation languages

The Knowledge Engineering Review ◽

10.1017/s0269888900006263 ◽

1992 ◽

Vol 7 (2) ◽

pp. 147-155

Author(s):

Eric Sandewall

Keyword(s):

Operating System ◽

Programming Languages ◽

Knowledge Based Systems ◽

Machine Code ◽

Low Level ◽

Knowledge Based ◽

High Level ◽

Very High

AbstractIt is usually agreed that programming languages for implementing (other) programming languages, or ‘implementation languages’, should be simple low-level languages which are close to the machine code and to the operating system. In this paper it is argued that a very high level implementation language is a good idea, of particular importance for knowledge-based systems, and that Lisp (as a language and as a system) is very well suited to be a very high level implementation language. The significance of special-purpose programming languages is also discussed, and the requirements that they have for a very high level implementation language are considered.

Download Full-text

Novel Code Plagiarism Detection Based on Abstract Syntax Tree and Fuzzy Petri Nets

International Journal of Engineering Education ◽

10.14710/ijee.1.1.46-56 ◽

2019 ◽

Vol 1 (1) ◽

pp. 46-56 ◽

Cited By ~ 1

Author(s):

Victor R. L. Shen

Keyword(s):

Programming Languages ◽

Source Code ◽

Learning Performance ◽

Abstract Syntax ◽

Plagiarism Detection ◽

Abstract Syntax Tree ◽

Source Codes ◽

Syntax Tree ◽

Fuzzy Petri Nets ◽

High Level

Those students who major in computer science and/or engineering are required to design program codes in a variety of programming languages. However, many students submit their source codes they get from the Internet or friends with no or few modifications. Detecting the code plagiarisms done by students is very time-consuming and leads to the problems of unfair learning performance evaluation. This paper proposes a novel method to detect the source code plagiarisms by using a high-level fuzzy Petri net (HLFPN) based on abstract syntax tree (AST). First, the AST of each source code is generated after the lexical and syntactic analyses have been done. Second, token sequence is generated based on the AST. Using the AST can effectively detect the code plagiarism by changing the identifier or program statement order. Finally, the generated token sequences are compared with one another using an HLFPN to determine the code plagiarism. Furthermore, the experimental results have indicated that we can make better determination to detect the code plagiarism.

Download Full-text

Analysis of approaches in teaching the introductory programming course in universities

System technologies ◽

10.34185/1562-9945-4-135-2021-08 ◽

2021 ◽

Vol 4 (135) ◽

pp. 73-84

Author(s):

Yuliya Prokop ◽

Olena Trofymenko ◽

Olexander Zadereyko

Keyword(s):

Programming Languages ◽

Object Oriented Programming ◽

It Professionals ◽

Introductory Programming ◽

Universal Solution ◽

The Subject ◽

Effectiveness Of Training ◽

The One ◽

High Level ◽

Foreign Universities

The importance of the effective study of the initial programming course (CS1), on the one hand, and the need to take into account the requirements for IT professionals today, on the other hand, encourage universities to flexibly change educational components, adjust curricula and disciplines. The relevance of finding approaches that positively affect the effectiveness of learning the basics of programming, due to the complexity of this course for students and the high level of dropout in the first session.The paper analyzes the approaches of foreign universities in teaching the CS1 course. The tendencies of the Ukrainian IT labour market concerning the need for adjustment of the content of the Algorithmization and programming course (Ukrainian analogue CS1) are investigated.It is established that there is no universal solution to the problems associated with teaching the initial programming course in the universities. Important factors that positively affect the success of programming training are the motivation of students, a set of didactic processes and methods, as well as good knowledge of the subject by teachers. To increase the effectiveness of training, researchers propose to change the programming language used in the introductory programming course and to introduce new classes of tasks in the curriculum. The effectiveness of the solutions depends on the regional specifics and traditions of IT education.Considering the ranking of programming languages in demand in Ukraine, the need to establish a relationship between disciplines and specifics of courses, the appropriate scheme of using programming languages are C / C ++ in Algorithmization and programming course (CS1) and then Java / C # in Object-oriented programming course (CS2). Another solution is to collaborate with IT companies and to involve students in writing real programs.

Download Full-text