Hybrid static and dynamic typing languages are aimed at combining the benefits of both kinds of lan-guages: the early type error detection and compile-time optimizations of static typing, together with the runtime ada...
详细信息
Hybrid static and dynamic typing languages are aimed at combining the benefits of both kinds of lan-guages: the early type error detection and compile-time optimizations of static typing, together with the runtime adaptability of dynamically typed languages. The StaDyn programming language is a hybrid typing language, whose main contribution is the utilization of the type information gathered by the compiler to improve compile-time error detection and runtime performance. StaDyn has been evaluated as the hybrid typing language for the .NET platform with the highest runtime performance and the lowest memory consumption. Although most optimizations are performed statically by the compiler, compilation time is yet lower than the existing hybrid languages implemented on the .NET platform.(c) 2022 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://***/licenses/by/4.0/).
This paper describes the design of a programming framework for microcontrollers specially the ones with low program and data memory, using as a base a programming language with modern features. The proposed programmin...
详细信息
This paper describes the design of a programming framework for microcontrollers specially the ones with low program and data memory, using as a base a programming language with modern features. The proposed programming framework is named Aixt Project and took inspiration from other similar projects such as Arduino, Micropython and TinyGo among others. The project's name is inspired on the weasel pet of the V programming language and at the same time it is a tribute to Ticuna people who live in the Amazon rain-forest, just between Colombia, Peru acute accent and Brasil. Aixt comes from Aixtu spacing diaeresis or Aitu spacing diaeresis ru spacing diaeresis which means otter in Ticuna language. The proposed programming framework has three main components: the Aixt language based on the V syntax, a transpiler that turns the defined V-like source code into C, and a generic cross-platform Application programming Interface (API). The target of this project is obtaining a cross-platform programming framework over the same language modern language an the same API, for programming different microcontrollers especially the ones with low memory resources. Aixt language is based on the syntax of V programming language but it uses mutable variables by default. V language was selected to be used as base of this project due to it is a new compiled programming language with interesting modern features. In order to turn the Aixt source code into C, a transpiler is implemented using Python and the some specialized libraries to design each part of its translation process. The transpiled code is compiled by the native C compiler of each microcontroller to obtain the final binary file, that is why the API has to be adapted for each native C compiler. The complete project is released as a free and open source project. Finally, different application test were done over the XC8 and XC16 compilers for the PIC16, PIC18, PIC24 and dsPIC33 microcontrollers families, demonstrating the correct wo
In computer programming, a pure function is a function that has no side-effects. Pure actions, which are assimilated to pure functions, play an important role within the SARL agent-programming language. Indeed, severa...
详细信息
In computer programming, a pure function is a function that has no side-effects. Pure actions, which are assimilated to pure functions, play an important role within the SARL agent-programming language. Indeed, several constructs of the language, e.g. the guard conditions of the event handlers, cannot contain calls to unpure actions. In many existing languages, the purity of the action is declared by the developer, who could put a marker on the action in some languages, or simply implicit. The contribution of this paper is an algorithm to automatically determine if an action is pure in order to allow the SARL compiler to mark the actions as pure for the developer. The proposed algorithm is successfully implemented in the SARL compiler.
A computer program is described that serves in the dual capacity of being a modified programming language as well as a general problem-solving program with a heuristic search procedure which efficiently selects the se...
详细信息
In today's world, we have a lot of programming languages. Which can realize our needs, but the important issue is, how to teach programming language in a very effective way to freshmen. Well, in that case, python ...
详细信息
ISBN:
(纸本)9781450376570
In today's world, we have a lot of programming languages. Which can realize our needs, but the important issue is, how to teach programming language in a very effective way to freshmen. Well, in that case, python can be a suitable language for both learning and real-world programming. It is a high-level, object-oriented programming language created by Guido Van Rossum was released in 1991. After python released day by day, it has become one of the most famous and demanding programming languages all over the world. In this paper will introduce and discuss python programming characteristics / features, organized syntax, and its powerful tools which help to solve many tasks also it is very close to simple math thinking. We tried to find out the recent trend/demand for python programming language in Bangladesh by operated a survey under faculty member from various universities, freelancer programmers and students from engineering studies. Also, make some simple comparison between python and other languages. From there we have figure out the most demanding features, characteristics of python language and the types of programming language supported by python. Python is now the most demanded and fastest-growing language which is founded by the support of researches done over many articles of various magazines and popular websites.
In the current era, the knowledge of programming language provides a greater fortune in the career of students'. This paper is on students' centric approach for analyzing their performance, improvisation in th...
详细信息
ISBN:
(纸本)9781509066223
In the current era, the knowledge of programming language provides a greater fortune in the career of students'. This paper is on students' centric approach for analyzing their performance, improvisation in the programming language such as in C, C++, and Java. For the fetching knowledge extraction from the educational field, Educational Data Mining is used. Hence, the study helps in empowering grit level in students' to enrich themselves towards success based on their performance. The general survey, technical concepts based test, logical and reasoning based test is collected using Google forms. The model is framed based on the survey and test data set to know the slow learner student's in academic. The proposed model identifies the student's based on analyzing them better, than only considering internal marks and assessment conducted. The framework provides greater efficiency in identifying the right students' for analysis and validated based on entropy value. The model is beneficial to the students' to improvise their weaker concept with frequent faculty assistance and also provide greater advantage to the university
Software quality assurance at source code level has drawn pressing concerns because of the increasing complexity and size of software projects. Based on the updated peer code review process model, an information syste...
详细信息
Software quality assurance at source code level has drawn pressing concerns because of the increasing complexity and size of software projects. Based on the updated peer code review process model, an information system was constructed. After several academic years’ implementation, questionnaire is made and data is analyzed. Some charming learning outcomes are recognized. Peer code review model is further proved vital in the pedagogy and evaluating of programming language although it can still be improved.
An important benefit of formal methods is the ability to unambiguously describe the requirements of a program and to provide evidence of the compliance of the software code with these requirements. However, formal ana...
详细信息
ISBN:
(数字)9781728106496
ISBN:
(纸本)9781728114972
An important benefit of formal methods is the ability to unambiguously describe the requirements of a program and to provide evidence of the compliance of the software code with these requirements. However, formal analysis on programs written in languages that are used today in avionics can be challenging since these languages have features, such as pointers, that complicate program verification. So, to enable formal verification, one must limit the language to a subset and/or one must endure a considerable annotation overhead. This paper presents Sim, a new high-level programming language that is designed for the development and verification of safety-critical software. The Sim language has been designed so that only a small annotation overhead is needed and one can make extensive use of automatic verification tools. We show that in Sim 4 to 5 times fewer annotations are needed compared to programs written in VeriFast-C to prove equivalent properties. We additionally demonstrate that Sim is suitable as a language for avionics software development by implementing and verifying an elementary fly-by-wire application and deploying it on an STM32 microcontroller.
With the development of computer technology, a variety of programming languages, especially the rapid development of software engineering, the choice of programming language and the reform of teaching methods are also...
详细信息
With the development of computer technology, a variety of programming languages, especially the rapid development of software engineering, the choice of programming language and the reform of teaching methods are also more urgent. In order to meet the need of employment, choose the right programming language, at the same time, the theory teaching and practice teaching should be combined effectively, the teaching should keep pace with the times, so as to cultivate the excellent programming personnel.
暂无评论