Previous researchers have argued that method purity (absence of side-effects) in object-oriented languages allows code to be more easily reasoned about, with beneficial effects for software security. However, many dif...
详细信息
A simple dynamically-typed, (purely) object-oriented language is defined. A structural operational semantics as well as a Hoare-style program logic for reasoning about programs in the language in multiple notions of c...
详细信息
The study of problems and inconveniences appearing in the object-oriented (OO) implementation of continuous simulation systems based in Differential-algebraic Equations (DAE) is presented. It was found that the numeri...
详细信息
Goal-directed evaluation is a paradigm that combines the power of generators with backtracking search. In goal-directed evaluation every expression is a generator that produces a sequence of values or fails, and opera...
详细信息
ISBN:
(纸本)9781450337397
Goal-directed evaluation is a paradigm that combines the power of generators with backtracking search. In goal-directed evaluation every expression is a generator that produces a sequence of values or fails, and operations search to find successful results over the product space of their operands. Introduced in the influential dynamic language Icon and later refined in its object-oriented descendent Unicon, goal-directed evaluation is difficult to formalize and implement. In particular grafting goal-directed evaluation onto other languages in a manner that provides seamless interoperability has remained an elusive challenge. We present a novel approach to embedding goal-directed evaluation into existing object-oriented languages based on program transformation. We first introduce a form of annotations for multi-language integration, called scoped annotations, that allow mixing in functionality at the level of expressions, methods, or classes. Transformations over the annotated regions then unravel the syntax of generator expressions to a conventional form by flattening nested generators and making iteration explicit in order to enable native evaluation. To demonstrate the utility of the approach, we have implemented the transformations for Java as well as its dynamic analogue Groovy, and housed them in an interpretive harness that realizes both an interactive extension of Groovy as well as a translator of embedded goal-directed evaluation into Java.
In this project a concept for developing and improving the control and monitoring of a power transformer by using a PLC is presented. A PLC system can contribute with several key functionalities which are necessary in...
详细信息
In this project a concept for developing and improving the control and monitoring of a power transformer by using a PLC is presented. A PLC system can contribute with several key functionalities which are necessary in the ongoing reconstruction of the power grid, towards the smart grid concept. However due to a high variation in the design of the power transformer, it is neces- sary to use a smart code structure. This report presents a possible code structure of the control logic and simulation model, that can be used for validation of the control logic, as well as reducing the developing time for this type of projects. In order to obtain this, the project have been utilizing features from the object oriented programming which enables for easy modification, adding, removing, etc of different functionalities in the PLC program. In this project the reusability and flexibility in the code structure have been increased by building the application in several layers based on basic components. This is accomplished by using two of the four foundations of object oriented programming, inheritance and encapsulation. This approach will reduce the required time for developing the control logic but also encourage to utilize the benefits of simulation earlier and give the engineer faster feedback.
Learning object oriented programming (OOP) is a hard task for many beginning students who have already familiar with procedural language paradigm. Over the last six semesters, only about 59.27% students who take OOP c...
详细信息
Dtic Adp012707: object-oriented Dynamic Bayesian Network-Templates for Modelling Mechatronic Systems by Defense Technical Information Center; published by
Dtic Adp012707: object-oriented Dynamic Bayesian Network-Templates for Modelling Mechatronic Systems by Defense Technical Information Center; published by
Comprehending object-orientedprogramming (OOP) concepts is a difficult task especially for novice students. This usually happens during the transition form learning fundamental concepts to object-oriented (OO) concep...
详细信息
Comprehending object-orientedprogramming (OOP) concepts is a difficult task especially for novice students. This usually happens during the transition form learning fundamental concepts to object-oriented (OO) concepts. When given an OO problem to solve, novices find it hard to relate with objects. If novices can view the world based on real objects, this can help them solve their problem of comprehending the OO concepts. In this paper, we propose to design an agent model to understand the semantics of OO Java source codes. The agents are designed based on the Belief-Desire-Intention (BDI) architecture. Three agents namely GUI agent, semantic agent and novice agents are constructed. The GUI agent is controlled by the user to provide source codes examples. The semantic agent submits the source codes to the novice agent and explains the semantic or meaning of the source codes to the novice agent. The process involves source codes comparison technique. This model provides an OOP semantics knowledge representation based on intelligent agents.
暂无评论