We propose an approach for modular verification of programs written in an object-oriented language where, like in C++, the same virtual method call is bound to different methods at different points during the construc...
详细信息
Despite enduring criticisms spanning several decades, jump statements such as goto, break, continue, and return remain prevalent in imperative programming languages, including but not limited to C++, Java, and Python....
详细信息
The evolution of main-stream object-oriented languages such as Java and C# has introduced new code constructs that originate from the functional programming paradigm. We hypothesise that a relationship exists between ...
详细信息
First aid, immediate assistance for individuals facing illness, injury, or accidents, plays a crucial role in saving lives, preventing physical disabilities, and providing comfort before being referred to a healthcare...
详细信息
Relational verification through dynamic logic is a promising approach for verifying objectoriented programs. Recent advances from symbolic to abstract executions have enabled reasoning about incomplete/abstract versi...
详细信息
ISBN:
(数字)9783031197567
ISBN:
(纸本)9783031197550;9783031197567
Relational verification through dynamic logic is a promising approach for verifying objectoriented programs. Recent advances from symbolic to abstract executions have enabled reasoning about incomplete/abstract versions of such programs. This has proven fruitful in the exploration of correctness of refactorings primarily related to code blocks in Java. In this paper we explore further types of equivalent transformations and refactorings and discuss the challenges that still need to be overcome for full round-trip correctness of refactorings in object-oriented languages.
We present a general and efficient programming interface to Maude from Python and other programming languages. All relevant Maude entities and operations are exposed in a documented object-oriented library to facilita...
详细信息
ISBN:
(纸本)9783031124419;9783031124402
We present a general and efficient programming interface to Maude from Python and other programming languages. All relevant Maude entities and operations are exposed in a documented object-oriented library to facilitate the integration of Maude into external programs and vice versa. This paper describes the design and implementation of the library, explains how to use it, and discusses some mature applications.
This document presents the functionality of a Simulator Prototype that allows load flows studies, and optimal power flows studies to be carried out in alternating current power systems. The program was developed using...
详细信息
ISBN:
(数字)9781728167152
ISBN:
(纸本)9781728167152
This document presents the functionality of a Simulator Prototype that allows load flows studies, and optimal power flows studies to be carried out in alternating current power systems. The program was developed using the C# and C++ languages with Microsoft Visual Studio. The Newton-Raphson method is used to solve the load flow problem, and a Non-Interior Point method is used to solve the optimal power flow problem. Performance tests were carried out on the prototype from multiple cases of power systems, and satisfactory results were obtained.
Plant disease detection consumes more time and money for farmers and also manual detection errors may also lead to low crop cultivation rate. The proposed study has used the YOLO V3 demonstration with a transfer learn...
详细信息
Electronic railway interlockings are critical embedded systems which control the safe operation of train signals. Due to the broad variety of railway network topologies and the high functional safety level required, a...
详细信息
Electronic railway interlockings are critical embedded systems which control the safe operation of train signals. Due to the broad variety of railway network topologies and the high functional safety level required, a flexible solution is needed, capable of taking formal requirements and implementing them accordingly to the required application. The scope of this work is to present an approach in which an automatic code generator transforms the control tables which describe the interlocking logic into functional units written in different programming languages like C or VHDL. The generated code allows its implementation in an embedded system based in a FPGA or a microcontroller. In addition, the project contains a graphical user interface to draw and simulate the behavior of the generated model for verification purposes. The developed tool comprises the entire design flow for interlocking systems and presentes several advantages when compared to previous works.
We review the background, classification, specifications, and related aspects of using smart contracts in blockchain services and introduce a framework for generating a general software architecture in the context of ...
详细信息
We review the background, classification, specifications, and related aspects of using smart contracts in blockchain services and introduce a framework for generating a general software architecture in the context of contract-orientedprogramming.
暂无评论