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

oopsla'05 - 20th Annual ACM conference on object-oriented programming, systems, languages, and applications

作者： Nanda, Mangala Gowri Grothoff, Christian Chandra, Satish IBM India Research Laboratory India University of California Los Angeles United States

ISBN: (纸本)1595930310

We are interested in static analysis of Java classes with the goal of discovering the preconditions under which a certain program point within a method may be reached, taking into account the effects of previous method calls on an object of that class. The information pertinent to this computation is represented as the object's typestate, which is a finite set of relevant predicates that abstract the object's actual state. The execution of a method depends on an object's current typestate as well as other input parameters;the object may transition to a different typestate during the method's execution. It is common for objects to contain references to other objects. In such cases, an object's behavior may depend on, in addition to its own state, the state of objects it has a reference to. The main contribution of this paper is to discover relevant object typestates, as well as transitions between typestates, in the presence of inter-object references. Our analysis first performs a combined predicate discovery and predicate abstraction to derive "boolean" versions of Java classes given as input. It then uses abstract interpretation to compute the typestate transitions caused by method calls. A novel aspect of this work is that a set of Java classes is analyzed in isolation, without any client program being provided. To do this, the analysis simulates all possible client's actions via a synthetic heap, all of whose interesting configurations are explored by our analysis. The information we compute can be put to use in several ways. It can be used in checking whether a given client code erroneously uses a set of Java classes in a way that can throw an exception. It can also be used in creating test drivers for Java classes in order to exercise all relevant code paths in the corresponding methods. Copyright 2005 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

object oriented programming (OOP) and its relevance to designing intelligent software systems

Object oriented programming (OOP) and its relevance to desig...

引用

1988 International conference on Computer languages, Proceedings

作者： Wechsler, Harry Rine, David George Mason Univ Fairfax VA USA

ISBN: (纸本)0818608749

The authors consider the issue of object-oriented programming (OOP) and its relevance to designing intelligent software systems. The development of large software packages requires not only modularity but also the capability to experiment and change. Such a capability is akin to self-organization characteristics of adaptive systems. It is suggested that computer-aided software engineering (CASE) can benefit from the development retrainable software modules, where both the data structures and the algorithms performing on them are subject to evolutionary change. Such an approach is modeled after the AI (artificial-intelligence) methodology of reasoning by analogy, and it can be naturally implemented through the paradigm of object-oriented programming languages, which provide an exploratory software environment in which changes resulting from feedback to the system are easy to track and implement. The benefits of OOP to major software development areas involved with resource allocation, computer vision, and the service industry are discussed.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Green applications: Software applications that optimize energy usage

Green applications: Software applications that optimize ener...

引用

22nd International conference on object-oriented programming systems, languages, and applications, oopsla 2007 - Companion

作者： Hoi, Chan Kephart, Jeffrey O. IBM T.J Watson Research Center 19 Skyline Drive Hawthorne NY 10532 United States

ISBN: (纸本)9781595938657

Energy consumption is a major cost of operating IT equipment in organizations and data centers. Hardware and software manufacturers are beginning to include power saving options in a range of products from processors to operating systems (OS). Previous work on power saving has focused mainly on OS control of the operating modes of laptop computers and mobile devices to maximize battery life. To take full advantage of these newly available energy saving features, we have developed a power management agent with a set of power control and monitoring interfaces which allows power saving features to be implemented on individual applications. We call these power saving capable applications Green applications. In this demonstration, we will discuss and show a web based Green Application which implements these newly introduced power saving features. This application runs on an IBM HS20 Blade Server with Linux OS and equipped with a processor (Intel Xeon 3 GHz) capable of power management. When the application runs, it continuously adjusts the power level (range from standby to maximum) of the server processor in accordance with the state and performance requirements of the application (expressed as policies or static user-defined control parameters) via the power management agent. The power management agent can manage multiple Green applications and can set the power level of the processor according to the aggregate power requirement of the applications. Using an advanced monitoring tool, the IBM Tivoli Monitoring (ITM) System [1], we will show graphically the dynamic interactions of the state and performance of the application, including processor temperature, CPU utilization, power cap, and power usage in a single integrated view, and present the amount of energy used in comparison with running the same application with no power saving features included.

关键词： Power management

来源：评论

学校读者我要写书评

暂无评论

Automating object Transformations for Dynamic Software Updating 12

Automating Object Transformations for Dynamic Software Updat...

引用

ACM International conference on object oriented programming systems languages and applications

作者： Magill, Stephen Hicks, Michael Subramanian, Suriya McKinley, Kathryn S. IDA Ctr Comp Sci Baltimore MD USA Univ Maryland College Pk MD 20742 USA Intel Corp Santa Clara CA 95051 USA Microsoft Res Redmond WA USA Univ Texas Austin Austin TX 78712 USA

ISBN: (纸本)9781450315616

Dynamic software updating (DSU) systems eliminate costly downtime by dynamically fixing bugs and adding features to executing programs. Given a static code patch, most DSU systems construct runtime code changes automatically. However, a dynamic update must also specify how to change the running program's execution state, e. g., the stack and heap, to make it compatible with the new code. Constructing such state transformations correctly and automatically remains an open problem. This paper presents a solution called Targeted object Synthesis (TOS). TOS first executes the same tests on the old and new program versions separately, observing the program heap state at a few corresponding points. Given two corresponding heap states, TOS matches objects in the two versions using key fields that uniquely identify objects and correlate old and new-version objects. Given example object pairs, TOS then synthesizes the simplest-possible function that transforms an old-version object to its new-version counterpart. We show that TOS is effective on updates to four open-source server programs for which it generates non-trivial transformation functions that use conditionals, operate on collections, and fix memory leaks. These transformations help programmers understand their changes and apply dynamic software updates.

关键词： Algorithms languages Theory Dynamic Software Update DSU Hot-Swapping Program Synthesis State Transformation object Correlation object Matching

来源：评论

学校读者我要写书评

暂无评论

STARC: Static Analysis for Efficient Repair of Complex Data

STARC: Static Analysis for Efficient Repair of Complex Data

引用

22nd Annual ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications, oopsla'07

作者： Elkarablieh, Bassem Sarfraz, Khurshid Vu, Duy McKinley, Kathryn S. University of Texas Austin United States

ISBN: (纸本)1595937862

Data structure corruptions are insidious bugs that reduce reliability of software systems. Constraint-based data repair promises to help programs recover from crippling corruption errors. Prior work repairs variety of relatively small data structures, usually with of nodes. present STARC which uses static analysis to repair structures with tens of thousands of nodes. Given a predicate method that describes the integrity constraints a structure, STARC statically analyzes the method to : (1) the recurrent fields, i.e., fields that the predicate uses to traverse the structure; and (2) local fieldconstraints, i.e., how the value of an object field is related to value of a neighboring object field. STARC executes the method on the structure and monitors its execution identify corrupt object fields, which STARC then repairs a systematic search of a neighborhood of the given. Each repair action is guided by the result of the analysis, which enables more efficient and effective compared to prior work. Experimental results show STARC can repair structures with tens of thousands of, up to 100 times larger than prior work. efficiency is probably not practical for very large structures in deployed systems, but opens a promising direction for future work. Copyright 2007 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Vortex: An optimizing compiler for object-oriented languages 96

Vortex: An optimizing compiler for object-oriented languages

引用

Proceedings of the 1996 conference on object-oriented programming systems, languages & applications

作者： Dean, Jeffrey DeFouw, Greg Grove, David Litvinov, Vassily Chambers, Craig Univ of Washington Seattle United States

ISBN: (纸本)9780897917889

Previously, techniques such as class hierarchy analysis and profile-guided receiver class prediction have been demonstrated to greatly improve the performance of applications written in pure object-oriented languages, but the degree to which these results are transferable to applications written in hybrid languages has been unclear. In part to answer this question, we have developed the Vortex compiler infrastructure, a language-independent optimizing compiler for object-oriented languages, with front-ends for Cecil, C++, Java, and Modula-3. In this paper, we describe the Vortex compiler's intermediate language, internal structure, and optimization suite, and then we report the results of experiments assessing the effectiveness of different combinations of optimizations on sizable applications across these four languages. We characterize the benchmark programs in terms of a collection of static and dynamic metrics, intended to quantify aspects of the `object-orientedness' of a program.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Mining modal scenarios from execution traces: Poster abstract

Mining modal scenarios from execution traces: Poster abstrac...

引用

WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07

作者： Lo, David Maoz, Shahar Khoo, Siau-Cheng National University of Singapore Singapore Weizmann Institute of Science Israel

ISBN: (纸本)9781595938657

Specification mining is a dynamic analysis process aimed at automatically inferring suggested specifications of a program from its execution traces. We describe a method, a framework, and a tool, for mining inter-object scenariobased specifications in the form of a UML2-compliant variant of Damm and Harel's Live Sequence Charts (LSC), which extends the classical partial order semantics of sequence diagrams with temporal liveness and symbolic class level lifelines, in order to generate compact and expressive specifications. Moreover, we use previous research work and tools developed for LSC to visualize, analyze, manipulate, test, and thus evaluate the scenario-based specifications we mine. Our mining framework is supported by statistically sound metrics. We demonstrate and evaluate our work using a case study.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

PROGRAM TRANSLATION VIA ABSTRACTION AND REIMPLEMENTATION

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1988年第8期14卷 1207-1228页

作者： WATERS, RC Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge MA 02139

An abstraction-and-reimplementation paradigm is presented in which the source program is first analyzed in order to obtain a programming-language-independent abstract understanding of the computation performed by the program as a whole. The program is then reimplemented in the target language based on this understanding. The key to this approach is the abstract understanding obtained. It allows the translator to benefit from an appreciation of the global features of the source program without being distracted by what are considered irrelevant details. Knowledge-based translation via abstraction and reimplementation is described as one of the goals of the Programmer's Apprentice project. A translator which translates Cobol programs into Hibol (a very-high-level business data processing language) has been constructed. A computer which generates extremely efficient PDP-11 object code for Pascal programs has been designed.

关键词： Source code object code translator object oriented programming languages COBOL business data processing Language apprentice Abstraction

来源：评论

学校读者我要写书评

暂无评论

Efficient implementation of the plaid language

Efficient implementation of the plaid language

引用

ACM International conference on systems, programming, languages, and applications: Software for Humanity, SPLASH'11

作者： Chasins, Sarah Swarthmore College Carnegie Mellon University United States

ISBN: (纸本)9781450309424

The Plaid language introduces native support for state abstractions and state change. While efficient language implementation typically relies on stable object members, state change alters members at runtime. We built a JavaScript compilation target with a novel state representation, which enables fast member access. Cross-language performance comparisons are used for evaluation.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Language aspects of envisager: An object-oriented environment for the specification of real-time systems

Language aspects of envisager: An object-oriented environmen...

引用

1988 International conference on Computer languages, Proceedings

作者： Diaz-Gonzales, Jose P. Urban, Joseph E. GTE Lab Waltham MA USA

ISBN: (纸本)0818608749

A specification language based on an object-oriented conceptual model is presented. Interval temporal logic, a variation of modal logic that provides mechanisms for specifying time-varying properties of systems, is used in the language as the underlying formalism for representing behavioral constraints on the objects. The mechanism used for the interpretation and satisfaction of the constraints is discussed.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：