The EOLANG programming language is a novel technology relying on formal phi-calculus similar to lambda-calculus for functional programming languages, and on design choices declared as mitigating most weak points of ma...
详细信息
Dart is a programming language designed to facilitate cross-platform app development under Flutter environment. It has its own distinct format and structure that allow developers to write responsive codes while mainta...
详细信息
ISBN:
(数字)9798331504120
ISBN:
(纸本)9798331504137
Dart is a programming language designed to facilitate cross-platform app development under Flutter environment. It has its own distinct format and structure that allow developers to write responsive codes while maintaining high performances across various platforms. Learning Flutter/Dart is easy for students who have been proficient in objectorientedprogramming (OOP) concepts in as Java, JavaScript, or C. However, as a new language for mobile cross-platform programming, Flutter/Dart has different features that must be understood. In this paper, we present a comprehensive guide documentation that outlines key elements and advantages of Flutter/Dart programming for its independent learning. It helps learners navigate through foundational knowledge and practical exercises. As next studies, we will complete the guide documentation to cover the features, make proper exercises to review it, and evaluate the proposal through applications to students.
As software systems continue to evolve to their complexities, vulnerability detection in code is a daunting task. Traditional techniques, such as static analysis alone, usually fail to deliver vulnerabilities in objec...
详细信息
ISBN:
(数字)9798331537555
ISBN:
(纸本)9798331537562
As software systems continue to evolve to their complexities, vulnerability detection in code is a daunting task. Traditional techniques, such as static analysis alone, usually fail to deliver vulnerabilities in object-orientedprogramming languages alone, because they inherit complexities like polymorphism, inheritance hierarchies, and encapsulation. This paper would introduce a novel approach that would be based on deep learning-based vulnerability detection with the involvement of fuzzy clustering techniques in code restructuring in OOP-based systems. Deep learning models such as DNNs, CNNs, and RNNs provide a better way of learning code patterns for the identification of vulnerabilities like buffer overflows, SQL injections, and cross-site scripting attacks. However, the state of features in OOP sometimes demands extra strategies to raise the precision of detection. Fuzzy clustering is used to cluster similar code patterns. It tracks the vulnerability that may remain undiscovered using traditional analysis techniques. The restructuring of complex OOP code-the flattening of inheritance hierarchies, reduction of polymorphic behaviors, and enhancing encapsulation access-halves the process in such analyses being more efficient in detecting vulnerabilities. This is how deep learning and fuzzy clustering could provide an efficient solution to enhance the security of software systems by overcoming shortcomings of traditional approaches and complexities accompanying modern OOP-based applications.
In the future, technical systems, e.g., cyber-physical systems will increasingly become adaptive to changing contexts. However, programming context-adaptive systems is challenging. The context-specific behavior as wel...
详细信息
ISBN:
(数字)9798350380262
ISBN:
(纸本)9798350380279
In the future, technical systems, e.g., cyber-physical systems will increasingly become adaptive to changing contexts. However, programming context-adaptive systems is challenging. The context-specific behavior as well as when contexts change their activeness must be specified. Common general-purpose object-oriented languages require encoding the context-specific behavior in if-cascades. Standard polymorphism is insufficient to express the changing behavior of objects in different contexts because the complexity rises with the combinatorial explosion of a large, potentially multi-dimensional context space. Moreover, specifying when contexts are active has to be implemented as part of the application logic. In conclusion, there are two problems: the definition of context-specific behavior and the management of context changes. In this paper, we present a framework for the Julia programming language to develop context-adaptive systems. The framework also enables context-adaptive equation-based modeling. For context management, Petri nets are utilized. Julia was chosen for the implementation due to its simulation ecosystem, rich metaprogramming, and multiple dispatch, which enables precise specification of behavioral variants. We evaluate our approach by using two examples. The first scenario is a smart home control application. The second example shows how our framework can be used together with equation-based modeling for simulation.
In object-oriented (OO) applications, objects collaborate by invoking each other's behavior and data, thus forming dependencies. Sometimes, we need these dependencies to be reactive, so that, for example, an objec...
详细信息
In object-oriented (OO) applications, objects collaborate by invoking each other's behavior and data, thus forming dependencies. Sometimes, we need these dependencies to be reactive, so that, for example, an object automatically reacts to events and changes in other objects. The need for such dependencies often arises in eventdriven systems, graphical user interfaces (GUI), animation, spreadsheet systems, etc. While in some cases reactive dependencies form fairly simple structures, in cases of implementing complex calculation models reactive dependencies can be especially numerous and can form complex dependency graphs. Understanding such graphs and manually handling reactive dependencies is extremely challenging and error-prone. Paradigms such as Reactive programming (RP) make this task easier by providing programming languages with built-in abstractions and mechanisms for handling reactive dependencies. However, in the OO context, developers have no available solutions capable of handling complex dependency graphs. Instead, they often resort to implementing their own solutions rooted in a well-known, but limited Observer design pattern. While improved design patterns have emerged over time, they present smaller-scale solutions, oriented only on design reuse. Developers still need to invest significant effort to implement and test the proposed design. This indicates that there is a need for a larger-scale and implementation-level solution that developers could (re)use out-of-the-box. Therefore, this paper presents a software framework named REFRAME which provides built-in abstractions, mechanisms and tools for handling reactive dependencies in OO context.
The proceedings contain 11 papers. The special focus in this conference is on Simulation and Modeling Methodologies, Technologies and applications. The topics include: A Python-Based Mixed Discrete-Continuous Simulati...
ISBN:
(纸本)9783031231483
The proceedings contain 11 papers. The special focus in this conference is on Simulation and Modeling Methodologies, Technologies and applications. The topics include: A Python-Based Mixed Discrete-Continuous Simulation Framework for Digital Twins;Integrating GPU-Accelerated Tetrahedral Mesh Editing and Simulation;performance Study of Vertical Submersible Pump in Terms of Induced Loads and Vibrations;comparison of Modelling Approaches and Solvers on Harmonic Studies for Renewable Energy Integration;stretching Simulation of Viscoelastic Fluid with Spring Connection;SysML and Petri Nets Based Methodology for Analysis and Performance Evaluation in WSNs;growing Bioinspired Synthetic Landscape Ecologies and the Adequacy of objectorientedprogramming;on Advanced Modeling of Compressors and Weighted Mix Iteration for Simulation of Gas Transport Networks;quasi-static Optimal Control Strategy of Lattice Boom Crane Based on Large-Scale Flexible Non-linear Dynamics.
Temporal memory safety violations, such as use-after-free (UAF) vulnerabilities, are a critical security issue for software written in memory-unsafe languages such as C and C++. In this paper, we introduce ViK, a nove...
详细信息
ISBN:
(纸本)9781450392051
Temporal memory safety violations, such as use-after-free (UAF) vulnerabilities, are a critical security issue for software written in memory-unsafe languages such as C and C++. In this paper, we introduce ViK, a novel, lightweight, and widely applicable runtime defense that can protect both operating system (OS) kernels and user-space applications against temporal memory safety violations. ViK performs object ID inspection, where it assigns a random identifier to every allocated object and stores the identifier in the unused bits of the corresponding pointer. When the pointer is used, ViK inspects the value of a pointer before dereferencing, ensuring that the pointer still references the original object. To the best of our knowledge, this is the first mitigation against temporal memory safety violations that scales to OS kernels. We evaluated the software prototype of ViK on Android and Linux kernels and observed runtime overhead of around 20%. Also, we evaluated a hardware-assisted prototype of ViK on Android kernel, where the runtime overhead was as low as 2%.
Interoperability is the ability to communicate between applications that are written in different programming languages. The communication is established through the exchange of data, which has normally a representati...
详细信息
This paper presents an object-oriented publish/subscribe specification programming language, called OSL, for modeling and implementing the architecture of sensor networks applications. Considering the ability to effic...
详细信息
object-orientedprogramming (OOP) is one of the most common programming paradigms used for building software systems. However, despite its industrial and academic value, OOP is criticized for its high complexity, low ...
详细信息
ISBN:
(纸本)9789811627651;9789811627644
object-orientedprogramming (OOP) is one of the most common programming paradigms used for building software systems. However, despite its industrial and academic value, OOP is criticized for its high complexity, low maintainability and lack of rigorous principles. Eolang (a.k.a. EO) was created to solve the above problems by restricting its features and suggesting a formal object calculus for this programming language. This paper seeks to analyze the Eolang language and compare it to other OOP languages in order to develop the core features of this new language.
暂无评论