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

Expressive and safe static reflection with MorphJ

ACM SIGPLAN NOTICES 2008年第6期43卷 79-89页

作者： Huang, Shan Shan Smaragdakis, Yannis Georgia Inst Technol Coll Comp Atlanta GA 30332 USA Univ Oregon Dept Comp & Informat Sci Eugene OR 97403 USA

Recently, language extensions have been proposed for Java and C# to support pattern-based reflective declaration. These extensions introduce a disciplined form of meta-programming and aspect-oriented programming to mainstream languages: They allow members of a class (i.e., fields and methods) to be declared by statically iterating over and pattern-matching on members of other classes. Such techniques, however, have been unable to safely express simple, but common, idioms such as declaring getter and setter methods for fields. In this paper, we present a mechanism that addresses the lack of expressiveness in past work without sacrificing safety. Our technique is based on the idea of nested patterns that elaborate the outer-most pattern with blocking or enabling conditions. We implemented this mechanism in a language, MorphJ. We demonstrate the expressiveness of MorphJ with real-world applications. In particular, the MorphJ reimplementation of DSTM2, a software transactional memory library, reduces 1,107 lines of Java reflection and bytecode engineering library calls to just 374 lines of MorphJ code. At the same time, the MorphJ solution is both high level and safer, as MorphJ can separately type check generic classes and catch errors early. We present and formalize the MorphJ type system, and offer a type-checking algorithm.

关键词： languages object-oriented programming structural abstraction class morphing aspect-oriented programming meta-programming language extensions

来源：评论

学校读者我要写书评

暂无评论

Rational metaprogramming

引用

IEEE SOFTWARE 2008年第1期25卷 78-79页

作者： Spinellis, Diomidis Univ Athens Dept Management Sci & Technol GR-10679 Athens Greece

Metaprogramming, using programs to manipulate other programs, is as old as programming. From self-modifying machine code in early computers to expressions involving partially applied functions in modern functional-programming languages, metaprogramming is an essential part of an advanced programmer\'\'s arsenal. Everyday metaprogramming involves on-the-fly code production. Representative examples include dynamically generated SQL statements and code created for evaluation at runtime in interpreted languages. Metaprogramming also occurs in programs that spew out HTML or XML. Although we can\'\'t classify these markup languages as code, their rich syntactic structure qualifies their generation as metaprogramming. Unfortunately, we commonly produce code on the fly by simply pasting together character strings. This means that it\'\'s difficult to verify essential properties of the generated code - such as validity, correctness, and safety - at compile time.

关键词： SQL object-oriented programming program compilers program verification software tools HTML SQL statements XML code generation functional-programming languages rational metaprogramming self-modifying machine code functional programmin compilers object oriented programming Codes extensible markup language HyperText Markup Language SQL symbolic languages Software Tools program verification Code generation

来源：评论

学校读者我要写书评

暂无评论

Process-based simulation library SALMO-OO for lake ecosystems. Part 1: object-oriented implementation and validation

引用

ECOLOGICAL INFORMATICS 2008年第2期3卷 170-180页

作者： Recknagel, Friedrich Cetin, Lydia Zhang, Byron Univ Adelaide Sch Earth & Environm Sci Adelaide SA 5005 Australia

The process-based simulation library SALMO-OO represents an object-oriented implementation of mass balance equations for pelagic food webs consisting of diatoms, green algae, blue-green algae and cladocerans, as well as nutrient cycles based on PO4-P, NO3-N, DO and detritus in lakes. It gains its structural flexibility from alternative process representations for algal growth and grazing, and zooplankton growth and mortality. Generic model structures of SALMO-OO were determined for three lake categories classified by circulation types reflecting the local climate and morphometry of lakes, and by trophic states reflecting community structures and habitat properties of lakes. Data of six lakes belonging to either of the three lake categories were used to validate the lake category specific structures of SALMO-OO. The study has demonstrated that: (1) JAVA suits well for object-oriented implementations of ecological simulation libraries, (2) object-oriented simulation libraries facilitate the identification of generic model structures for ecosystem categories. Crown Copyright (C) 2008 Published by Elsevier B.V. All rights reserved.

关键词： SALMO-OO lake simulation library object-oriented programming Java lake categories validation scenario analysis model sharing

来源：评论

学校读者我要写书评

暂无评论

Data reconciliation: Development of an object-oriented software tool

引用

KOREAN JOURNAL OF CHEMICAL ENGINEERING 2008年第5期25卷 955-965页

作者： Farzi, Ati Mehrabani-Zeinabad, Arjomand Boozarjomehry, Ramin Bozorgmehry Isfahan Univ Technol Dept Chem Engn Esfahan Iran Sharif Univ Technol Dept Chem & Petr Engn Tehran Iran

object-oriented modeling methodology is used for encapsulating different methods and attributes of data reconciliation (DR) in classes. Classes which are defined for DR, cover steady-state, dynamic, linear and nonlinear DR problems. Two main classes are Constraints and DR and defined for manipulating constraints and general DR problem. The remaining classes are derived from these two classes. A class namely DDRMethod is developed for encapsulating all common attributes and methods needed for any DDR method. Developed DR software and the method of performing dynamic DR are discussed in this paper. Two illustrative examples of Extended Kalman Filtering and artificial neural networks are used for DDR and two classes of DDRByKalman and NetDDRMethod developed by inheritance from DDRMethod class for these two methods. Performance of the proposed method is investigated by DDR of temperature measurements of a distillation column.

关键词： Data Reconciliation object-oriented programming Extended Kalman Filtering Artificial Neural Network Dynamic Simulation

来源：评论

学校读者我要写书评

暂无评论

A Quantitative Study of GUI versus Text-based object-oriented Instruction

A Quantitative Study of GUI versus Text-based Object-Oriente...

引用

IEEE Frontiers in Education Conference 2008

作者： Andersen, Per Mengel, Susan Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA

ISBN: (纸本)9781424419692

Introductory object-oriented programming is considered difficult to teach and a number of different methodologies have been proposed to address this difficulty. One method, which is reported in this paper, involves the use of graphical user interfaces (GUI's). The research question developed for this study is as follows: Does any statistical difference exist in test scores between a control group using text-based object-oriented programming (OOP) and a test group using GUI-based OOP? To answer this research question, quantitative data was collected through the use of common questions on the final CS2 exam for both groups. Data was collected over a period of 3 class offerings for five multiple-choice questions and one question requiring programming. No statistical difference between the groups was found for either the 5 multiple-choice questions or the open programming question. An analysis of the final CS2 course letter grade showed no significant difference between the test and control groups. Further, students who participated in the first year of the study were tracked through Data Structures, the course which follows CS2 in the curriculum sequence. A statistical analysis of the final letter grade for found no significant statistical difference between control and test groups.

关键词： Quantitative Study object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Automatic construction of a bug library for object-oriented novice Java programmer errors

Automatic construction of a bug library for object-oriented ...

引用

9th International Conference on Intelligent Tutoring Systems

作者： Suarez, Merlin Sison, Raymund De La Salle Univ Coll Comp Studies Manila 1004 Philippines

ISBN: (纸本)9783540691303

Machine learning techniques have been applied to the task of student modeling, more so in building tutors for acquiring programming skill. These were developed for various languages (Pascal, Prolog, Lisp, C++) and programming paradigms (procedural and declarative) but never for object-oriented programming in Java. JavaBugs builds a bug library automatically using discrepancies between a student and correct program. While other works analyze code snippets or UML diagrams to infer student knowledge of object-oriented design and programming, JavaBugs examines a complete Java program and identifies the most similar correct program to the student's solution among a collection of correct solutions and builds trees of misconceptions using similarity measures and background knowledge. Experiments show that JavaBugs can detect the most similar correct program 97% of the time, and discover and detect 61.4% of student misconceptions identified by the expert.

关键词： automatic bug library construction Java errors object-oriented programming multistrategy learning

来源：评论

学校读者我要写书评

暂无评论

Studying Students' Conceptual Grasp of OOP Concepts in Two Interactive programming Environments

引用

1st World Summit on the Knowledge Society (WSKS 2008)

作者： Xinogalos, Stelios Univ Macedonia Dept Appl Informat Thessaloniki 54006 Greece

ISBN: (纸本)9783540877820

Teaching object oriented programming (OOP) to novices is widely known to be quite problematic Students might be able to write a piece of code in an OOP language, usually Java, but their conceptual grasp of object-oriented concepts seems to he limited. This leads to poor implementation of object-oriented concepts and inability to take advantage of the strengths of OOP. Various teaching approaches and specially designed programming environments have been proposed for supporting the teaching and learning of OOP. In this paper. we present our findings regarding students' conceptual grasp of OOP concepts in two distinct educational programming environments: Blue J and object Karel. Their special feature in comparison with similar environments is that they are highly interactive.

关键词： Interactive programming Environments object-oriented programming Educational Software Computer Science Education Research

来源：评论

学校读者我要写书评

暂无评论

object-oriented Parallelisation: Improved and Extended Parallel Iterator

Object-Oriented Parallelisation: Improved and Extended Paral...

引用

14th International Conference on Parallel and Distributed Systems

作者： Giacaman, Nasser Sinnen, Oliver Akeila, Lama Univ Auckland Dept Elect & Comp Engn Auckland 1 New Zealand

ISBN: (纸本)9780769534343

The need to parallelise desktop applications is becoming increasingly essential with the mainstream adoption of multi-cores. In object-oriented languages, sequential iterators handle iterative computations of a sequential program;similarly, the parallel iterator was developed to handle the iterative computations of a parallel program. This paper presents the progress of the parallel iterator concept. New features, such as support for reductions and global break semantics, allow the parallel iterator to undertake more situations. With a slight contract modification, the parallel iterator interface now imitates that of the sequential iterator. All these features combine together to promote minimal, if any, code restructuring. The reduction frequently outperforms related work and the importance of providing simple and flexible fine-tuning capability is affirmed.

关键词： parallel computing object-oriented programming parallel iterator loop scheduling reductions

来源：评论

学校读者我要写书评

暂无评论

Specific creation features of the house heating automated design system 7

Specific creation features of the house heating automated de...

引用

7th International Conference on Environmental Engineering

作者： Sokas, Algirdas Vilnius Gediminas Tech Univ Dept Engn Graph LT-10223 Vilnius Lithuania

ISBN: (纸本)9789955282631

This article analyzes specific creation features of automated design system. The creation tasks of the house heating automated design system are solved with Unified Modeling Language. Graphical system can select types of radiators and valves, design pipes and specification. It discerns objects-classes: radiator, valve, pipe and specification, which have some properties and methods that ease programmer's work. House geometry and desirable temperature is known. First, program selects geometry parameters of radiators from radiators database by using ActiveX Data objects technology, which by programming method connects drawing and database. Drawing's graphical objects have additional data from which exchange of data between graphical system and database is executed. Second, program selects diameters of pipes from standard pipes database by using programming object's pipe properties and methods. Third, the program, knowing radiators' and pipes' geometry, designs house heating system. Design system and example of the house heating project is presented. Specific creation features of the house heating automated design system are discussed and conclusions are made

关键词： ActiveX Data objects technology object-oriented programming house heating design Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

A Concise XML Binding Framework Facilitates Practical object-oriented Document Engineering

A Concise XML Binding Framework Facilitates Practical Object...

引用

8th ACM Symposium on Document Engineering

作者： Kerne, Andruid Toups, Zachary O. Dworaczyk, Blake Khandelwal, Madhur Texas A&M Univ Interface Ecol Lab Dept Comp Sci College Stn TX 77843 USA

ISBN: (纸本)9781605580814

Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and interchange between programs and services. These technologies separate information representation from implementation. The separation may seem like a benefit, because it is platform-agnostic. The problem is that the separation interferes with writing correct programs for practical document engineering, because it violates a primary principle of object-oriented programming: integration of data structures and algorithms. We develop air XML binding framework that connects Java object declarations with serialized XML representation. A basis of the framework is a metalanguage., embedded in Java object and field declarations, designed to be particularly concise, to facilitate the authoring and maintenance of programs that generate and manipulate XML documents. The framework serves as the foundation for a layered software architecture that includes meta-metadata descriptions for multimedia information extraction, modeling, and visualization;Lightweight Semantic Distributed Computing Services interaction logging services;and a user Studies framework.

关键词： XML Java object-oriented programming translation binding framework metalanguage

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：