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.
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
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.
Nowadays, as China has completely entered into information age, computer techniques play an important role in promoting production and enhancing the quality of life. As for computer programming language, relevant tech...
详细信息
Nowadays, as China has completely entered into information age, computer techniques play an important role in promoting production and enhancing the quality of life. As for computer programming language, relevant technicians need to improve the practicability of computer techniques by fully applying programming language techniques, so as to enhance the quality and efficiency of data processing and different kinds of service.
In this paper a new programming language for PLC with using of bond graph is introduced. Bond graph is a system for modeling in Mechatronics systems. The advantage of using bond graph for PLC programming, Is the use o...
详细信息
In this paper a new programming language for PLC with using of bond graph is introduced. Bond graph is a system for modeling in Mechatronics systems. The advantage of using bond graph for PLC programming, Is the use of a common language for hybrid mechanical, electrical systems. For a better understanding we use Ladder which is a Circuit definition language. First we've used the bond graph symbols in the Ladder program. Ladder program has been implemented in MATLAB Simulink software as an application program.
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.
This demo abstract introduces a new light-weight programming language koa which is suitable for blockchain system design and implementation. In this abstract, the basic features of koa are introduced including working...
详细信息
ISBN:
(纸本)9781450366618
This demo abstract introduces a new light-weight programming language koa which is suitable for blockchain system design and implementation. In this abstract, the basic features of koa are introduced including working system (with playground), architecture, and virtual machine operations. Rum-time execution of software implemented by koa will be presented during the session.
The rapid evolution of programming languages in recent years has introduced new languages, tools, libraries, and technologies. Python has emerged as a prevalent programming language, leading many institutions and univ...
详细信息
ISBN:
(纸本)9798400716539
The rapid evolution of programming languages in recent years has introduced new languages, tools, libraries, and technologies. Python has emerged as a prevalent programming language, leading many institutions and universities to adopt it as the default language for their programming curriculum. This paper examines the transition from Java to Python as the main programming language of the curriculum at the University of Helsinki. The shift to a new language of instruction is a significant and critical undertaking that profoundly impacts the curriculum. Thus, it requires careful consideration and meticulous execution. To assess our success in the change, we analyzed the pass rates and average student grades across multiple courses before and after the change. Moreover, we administered a questionnaire to teaching assistants experienced in Java and Python and collected weekly feedback from students in the first implementations of the renewed course. Based on our findings, the change was successfully executed, as the learning outcomes were not adversely affected by the language change. Thus, this article likely offers valuable insights for educational institutions considering similar transitions.
To support the development of applications in a novel decentralized computing structure, i.e., Insect Intelligent Building(I2 B) platform, the key enabler is to design a proper programming language for specific domain...
详细信息
To support the development of applications in a novel decentralized computing structure, i.e., Insect Intelligent Building(I2 B) platform, the key enabler is to design a proper programming language for specific domains. Existing researches are either unwieldy or unfriendly for developing the domain-oriented applications. This paper aims to facilitate the development of such applications and reduces the programming difficulty of programmers. We propose Touch, a textual programming language for I2 B APPs(applications), which provides a high-level abstraction of I2 B elements. Specifically, we establish the programming conceptual architecture(i.e., Individual, Neighborhood, and Domain) and programming mechanism of I2 B ***, the specific language elements and formal syntax of Touch are designed. Evaluation results show that Touch can effectively support the development of I2 B APP and greatly reduce the size of the program.
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.
暂无评论