检索结果-内蒙古大学图书馆

COVARIANCE AND CONTRAVARIANCE: A FRESH LOOK AT AN OLD ISSUE (A PRIMER IN ADVANCED TYPE SYSTEMS FOR LEARNING FUNCTIONAL PROGRAMMERS)

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Castagna, Giuseppe CNRS Institut de Recherche en Informatique Fondamentale Université de Paris France

Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specialization of method parameters in object-oriented programming had different purposes and deduced that, not only they could, but actually they should both coexist in the same language. In this work I reexamine the result of that article in the light of recent advances in (sub-)typing theory and programming languages, taking a fresh look at this old issue. Actually, the revamping of this problem is just an excuse for writing an essay that aims at explaining sophisticated type-theoretic concepts, in simple terms and by examples, to undergraduate computer science students and/or willing functional programmers. Finally, I took advantage of this opportunity to describe some undocumented advanced techniques of type-systems implementation that are known only to few insiders that dug in the code of some compilers: therefore, even expert language designers and implementers may find this work worth of reading. © 2018, CC BY.

关键词： object oriented programming

object-oriented design for massively parallel computing

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Givelberg, Edward

We define an abstract framework for object-oriented programming and show that object-oriented languages, such as C++, can be interpreted as parallel programming languages. Parallel C++ code is typically more than ten times shorter than the equivalent C++ code with MPI. The large reduction in the number of lines of code in parallel C++ is primarily due to the fact that coordination of concurrency, and the communications instructions, including packing and unpacking of messages, are automatically generated in the implementation of object operations. We implemented a prototype of a compiler and a runtime system for parallel C++ and used them to create complex data-intensive and HPC applications. These results indicate that adoption of the parallel object-oriented framework has the potential to drastically reduce the cost of parallel programming. We also show that standard sequential object-oriented programs can be ported to parallel architecture, parallelized automatically, and potentially sped up. The parallel object-oriented framework enables an implementation of a compiler with a dedicated backend for the interconnect fabric, which exposes the network hardware features directly to the application. We discuss the potential implications for computer architecture. Copyright © 2018, The Authors. All rights reserved.

关键词： object oriented programming

ActiveRDF: Embedding Semantic Web Data into object-oriented Languages

学校读者我要写书评

暂无评论

SSRN

SSRN 2018年

作者： Oren, Eyal Heitmann, Benjamin Decker, Stefan Vrije Universiteit Amsterdam de Boelelaan 1081a Amsterdam Netherlands Digital Enterprise Research Institute National University of Ireland Galway Ireland Information Sciences Institute

SemanticWeb applications share a large portion of development effort with database-drivenWeb applications. Existing approaches for development of these database-driven applications cannot be directly applied to Semantic Web data due to differences in the underlying data model. We develop a mapping approach that embeds Semantic Web data into object-oriented languages and thereby enables reuse of existingWeb application frameworks. We analyse the relation between the Semantic Web and the Web, and survey the typical data access patterns in Semantic Web applications. We discuss the mismatch between object-oriented programming languages and Semantic Web data, for example in the semantics of class membership, inheritance relations, and object conformance to schemas. We present ActiveRDF, an object-oriented API for managing RDF data that offers full manipulation and querying of RDF data, does not rely on a schema and fully conforms to RDF(S) semantics. ActiveRDF can be used with different RDF data stores: adapters have been implemented to generic SPARQL endpoints, Sesame, Jena, Redland and YARS and new adapters can be added easily. We demonstrate the usage of ActiveRDF and its integration with the popular Ruby on Rails framework which enables rapid development of SemanticWeb applications. © 2018, The Authors. All rights reserved.

关键词： object oriented programming

object Metamorphism Type-Safe Modeling of Protean objects in Scala

学校读者我要写书评

暂无评论

2nd Annual International Scientific Federated Conference on Software Development and object Technologies (SDOT)

作者： Slajchrt, Zbynek Univ Econ Dept Informat Technol Prague Czech Republic

ISBN: (纸本)9783319465357;9783319465340

Modeling protean objects, i.e. objects adapting their structure and behavior dynamically with respect to changeable environment, may be challenging in traditional object oriented languages. While some dynamic languages make the implementation of changeable behavior of objects possible by injecting code into the objects at run-time, their lack of an in-depth compile-time code analysis makes the resulting code fragile. The concept of object metamorphism (OM) targets the gap between the two language types by introducing a declarative modeling of protean objects. Such a model, which is validated at compile-time, defines all possible compositions of a given object from smaller parts represented by traits. The actual composition used to instantiate the object is chosen dynamically with respect to the current environment. The result of this research will provide the theoretical concept of OM along with a proof-of-concept adoption of OM to Scala.

关键词： object oriented programming

Integrating software engineering key practices into an OOP massive in-classroom course: An experience report

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Torchiano, Marco Bruno, Giorgio Politecnico di Torino Torino Italy

programming and software engineering courses in computer science curricula typically focus on both providing theoretical knowledge of programming languages and best-practices, and developing practical development skills. In a massive course - several hundred students - the teachers are not able to adequately attend to the practical part, therefore process automation and incentives to students must be used to drive the students in the right direction. Our goals was to design an automated programming assignment infrastructure capable of supporting massive courses. The infrastructure should encourage students to apply the key software engineering (SE) practices - automated testing, configuration management, and Integrated Development Environment (IDE) - and acquire the basic skills for using the corresponding tools. We selected a few widely adopted development tools used to support the key software engineering practices and mapped them to the basic activities in our exam assignment management process. This experience report describes the results from the past academic year. The infrastructure we built has been used for a full academic year and supported four exam sessions for a total of over a thousand students. The satisfaction level reported by the students is generally high. Copyright © 2018, The Authors. All rights reserved.

关键词： object oriented programming

OOP and its calculated measures in programming interactivity

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Onu Fergus, U. Osagie, S.U.M. John-Otumu, M.A. Igboke, M.E. Department of Computer Science Ebonyi State University Abakaliki Nigeria Department of Mathematics and Computer Science Benson Idahosa University Benin Nigeria Department of Computer Science Ambrose Alli University Ekpoma Nigeria

This study examines the object oriented programming (OOP) and its calculated measures in programming interactivity in Nigeria. It focused on the existing programming languages used by programmers and examines the need for integrating programming interactivity with OOP. A survey was conducted to measure interactivity amongst professionals using certain parameters like flexibility, interactivity, speed, interoperability, scalability, dynamism, and solving real life problems. Data was gathered using questionnaire, and analysis was carried out using frequency, percentage ratio, and mean in arriving at a more proactive stand. The results revealed that the some of the parameters used are highly in support of the programming interactivity with OOP. Copyright © 2018, The Authors. All rights reserved.

关键词： object oriented programming

Implementing Reversible object-oriented Language Features on Reversible Machines 9th

学校读者我要写书评

暂无评论

Implementing Reversible Object-Oriented Language Features on...

9th International Conference on Reversible Computation (RC)

作者： Haulund, Tue Mogensen, Torben Aegidius Glueck, Robert Univ Copenhagen Dept Comp Sci DIKU Copenhagen Denmark

ISBN: (纸本)9783319599366;9783319599359

We extend the reversible language Janus with support for class-based object-oriented programming, class inheritance and subtype-polymorphism. We describe how to implement these features on reversible hardware-with emphasis on the implementation of reversible dynamic dispatch using virtual method tables. Our translation is effective (i.e. garbage-free) and we demonstrate its practicality by implementation of a fully-featured compiler targeting the reversible assembly language PISA.

关键词： object oriented programming

A framework for sizing embedded mechatronic systems during preliminary design

学校读者我要写书评

暂无评论

IFAC-PapersOnLine 2017年第1期50卷 4354-4359页

作者： Delbecq S. Budinger M. Hazyuk I. Sanchez F. Piaton J. Institut Clément Ader CNRS Safran Electronics & Defense Massy France Safran Electronics & Defense Massy France Institut Clément Ader CNRS INSA Toulouse Toulouse France

This paper presents a Python framework for the preliminary design of embedded mechatronic systems. Mechatronic systems have the particularity to involve several levels of design and several technologies. In addition, embedded systems introduce to the design problem specific constraints like energy consumption, resistance/impact to/on environment, geometrical integration and reliability. In order to support the designer in satisfying these constraints, a Model-Based Design methodology and the corresponding framework is proposed. Models used during preliminary design of such multi-domain systems come from several disciplines and have different scales: distributed parameters (3D FEM, 3D CFD) for local level, lumped parameters (1D/0D, ODE/ADE) and state machine for global level. The dynamic simulation through 0D-1D models of the system to be designed is commonly used to validate architectural choices and preliminary sizing that requires multi-disciplinary optimization. Unfortunately, optimization can not only apply to the system level and resort to 3D models cannot be avoided, even during the early design phases. The proposed framework aims at implementing the optimization loops at both local and global levels in an open source environment. The proposed framework's features will be underlined through a case study - a rotary electromechanical actuator for primary flight control. © 2017

关键词： Acausal models Design tools Electromechanical actuator Model-Based Design Multi-Disciplinary Optimization object oriented programming Preliminary Design Surrogate models

Classification of Technical and Management Metrics in object oriented Software Engineering

学校读者我要写书评

暂无评论

Classification of Technical and Management Metrics in Object...

International Conference on Communication on Networks (COMNET)

作者： Srivastava, Devesh Kumar Singh, Ayush Manipal Univ Jaipur SCIT Jaipur Rajasthan India

ISBN: (纸本)9789811027505;9789811027499

From the dawn of technical age, software projects have always been significantly difficult to estimate and manage well. Over costing, delays in schedule, and out front cancellations of these projects have been a common issue we are facing for over 50 years now. Poor quality of the software, when delivered, remains to be a highlighted issue. Although, several tools for management of software projects are available, when even used by experienced managers to estimate the complexity of software project raises the odds of unsuccessful completions. Project management tools have many subcategories. However, they can be classified into two major groups of tools: [1] For estimation and planning of software projects;[2] For reporting and tracking of costs and status of project while they are underway.

关键词： object oriented programming Software metric Java