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

Can programming be liberated from the two-level style?: Multi-level programming with DeepJava

acm sigplan NOTICES 2007年第10期42卷 229-243页

作者： Kuehne, Thomas Schreiber, Daniel Tech Univ Darmstadt Darmstadt Germany

Since the introduction of object-oriented programming few programming languages have attempted to provide programmers with more than objects and classes, i.e., more than two levels. Those that did, almost exclusively aimed at describing language properties - i. e., their metaclasses exert linguistic control on language concepts and mechanisms often in order to make the language extensible. In terms of supporting logical domain classification levels, however, they are still limited to two levels. In this paper we conservatively extend the object-oriented programming paradigm to feature an unbounded number of domain classification levels. We can therefore avoid the introduction of accidental complexity into programs caused by accommodating multiple domain levels within only two programming levels. We present a corresponding language design featuring "deep instantiation" and demonstrate its features with a running example. Finally, we outline the implementation of our compiler prototype and discuss the potentials of further developing our language design.

关键词： languages design domain metatypes ontological metamodeling deep characterization

来源：评论

学校读者我要写书评

暂无评论

Lost in translation:: Formalizing proposed extensions to C^#

引用

acm sigplan NOTICES 2007年第10期42卷 479-497页

作者： Bierman, Gavin M. Meijer, Erik Torgersen, Mads Microsoft Res Cambridge Cambridge England Microsoft Corp Redmond WA 98052 USA

Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database query languages are based on different semantic foundations and optimization strategies. The resulting "ROX ( Relations, objects, XML) impedance mismatch" makes life very difficult for developers. Microsoft Corporation is developing extensions to the. NET framework to facilitate easier processing of non-object-oriented data models. Part of this project (known as "LINQ") includes various extensions to the. NET languages to leverage this support. In this paper we consider proposals for C-# 3.0, the next version of the C-# programming language. We give both an informal introduction to the new language features, and a precise formal account by defining a translation from C-# 3.0 to C-# 2.0. This translation also demonstrates how these language extensions do not require any changes to the underlying CLR.

关键词： languages Theory

来源：评论

学校读者我要写书评

暂无评论

Formally defining a graphical language for monitoring and checking object interactions

Formally defining a graphical language for monitoring and ch...

引用

10th international conference on Model Driven Engineering languages and systems

作者： Xu, Kai Liang, Donglin Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA

ISBN: (纸本)9783540752080

Monitoring and checking object interactions is an important activity for testing/debugging scenario implementation in an object-oriented system. In our previous work, we proposed behavior view diagrams (BVD) as a graphical language for writing programs that automate such monitoring and checking process. In this paper, we illustrate the formal definition of the syntax and the semantics of an extended version of BVD that can also be used to describe multi-threaded scenarios. This formal definition provides a critical foundation both for understanding the language and for building its tool support.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

MOP: An efficient and generic runtime verification frame

MOP: An efficient and generic runtime verification frame

引用

22nd Annual acm sigplan international conference on object-oriented programming, systems, languages, and Applications, OOPSLA'07

作者： Chen, Feng Ros¸u, Grigore University of Illinois Urbana-Champaign Urbana-Champaign United States

ISBN: (纸本)1595937862

Monitoring-oriented programming (MOP1) [21, 18, 22, 19] is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute when properties are violated or validated. The MOP framework automatically generates monitors from the specified properties and then integrates them together with the user-defined code into the original system. The previous design of MOP only allowed specifications without parameters, so it could not be used to state and monitor safety properties referring to two or more related objects. In this paper we propose a parametric specificationformalism-independent extension of MOP, together with an implementation of JavaMOP that supports parameters. In our current implementation, parametric specifications are translated into AspectJ code and then weaved into the application using off-the-shelf AspectJ compilers; hence, MOP specifications can be seen as formal or logical aspects. Our JavaMOP implementation was extensively evaluated on two benchmarks, Dacapo [14] and Tracematches [8], showing that runtime verification in general and MOP in particular are feasible. In some of the examples, millions of monitor instances are generated, each observing a set of related objects. To keep the runtime overhead of monitoring and event observation low, we devised and implemented a decentralized indexing optimization. Less than 8% of the experiments showed more than 10% runtime overhead; in most cases our tool generates monitoring code as efficient as the hand-optimized code. Despite its genericity, JavaMOP is empirically shown to be more efficient than runtime verification systems specialized and optimized for particular specification *** property violations were detected during our experiments; some of them are benign, others indicate defects in programs. Many of these are subtle and hard to find by ordinary testing. © 2007 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Performance improvement for persistent systems by AOP

Performance improvement for persistent systems by AOP

引用

5th Workshop on Software Engineering Properties of languages and Aspect Technologies, SPLAT 2007, Held at the 6th international conference on Aspect-oriented Software Development

作者： Aoki, Yasuhiro Chiba, Sigeru Tokyo Institute of Technology Japan

Efficient data retrieval from databases is a significant issue of the design of persistent systems. We propose an aspect oriented persistent system named AspectualStore. AspectualStore opens up its data retrieval mechanism so that developers can customize it in an aspect for performance optimization. The aspect controls the generation of SQL queries and minimizes the number of round-trips. It can also apply the customization only when the dynamic behavior of data accesses matches given patterns. This customization based on dynamic contexts is useful in practice and it needs aspect oriented programming. Traditional object-oriented programming is not appropriate although it can manage the customization based on static structures, such as customization for a particular class of data. Copyright © 2007 acm.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

9th international Workshop on Aspect-oriented Modeling

9th International Workshop on Aspect-Oriented Modeling

引用

9th international conference on Model Driven Engineering languages and systems

作者： Kienzle, Joerg Stein, Dominik Cazzola, Walter Gray, Jeff Aldawud, Omar Elrad, Tzilla McGill Univ Montreal PQ H3A 2T5 Canada Univ Duisburg Essen Duisburg Germany Univ Milan I-20122 Milan Italy Univ Alabama Birmingham Birmingham AL 35487 USA Lucent Technol Murray Hill NJ USA IIT Chicago IL 60616 USA

ISBN: (纸本)9783540694885

This report summarizes the outcomes of the 9th Workshop on Aspect-oriented Modeling (AOM) held in conjunction with the 9th international conference on Model Driven Engineering languages and systems - MoDELS 2006 - in Genoa, Italy, on the 1st of October 2006. The workshop brought together approximately 25 researchers and practitioners from two communities: aspect-oriented software development and software model engineering. It provided a forum for discussing the state of the art in modeling crosscutting concerns at different stages of the software development process: requirements elicitation and analysis, software architecture, detailed design, and mapping to aspect-oriented programming constructs. This paper gives an overview of the accepted submissions and summarizes the results of the different discussion groups. Papers and presentation slides of the workshop are available at http://***/.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Epi-aspects: Aspect-oriented conscientious software

引用

acm sigplan NOTICES 2007年第10期42卷 659-673页

作者： Fleissner, Sebastian Baniassad, Elisa Chinese Univ Hong Kong Dept Comp Sci & Engn Shatin Hong Kong Peoples R China

Conscientious software is a recently proposed paradigm for developing reliable, self-sustaining software systems. Conscientious software systems consist of an allopoietic part, which encapsulates application functionality, and an autopoietic part that is responsible for keeping the system alive by monitoring the application and adapting it to environmental changes. Practical application of the conscientious software paradigm requires solutions to two open problems: The design of suitable autopoietic programming languages and the proposal of concrete architectures for combining the autopoietic and allopoietic parts. In this paper, we tackle the second challenge, and propose a concrete, aspect-oriented architecture for realizing conscientious software. Here, we introduce epi-aspects, a construct for upgrading new and existing applications into conscientious software. This paper provides the architectural design of epi-aspects, an autopoietic simulator, and a concrete framework for developing epi-aspects in Java. The framework and the simulator are used to conduct a case study in which we develop and test a conscientious Java application.

关键词： aspect-oriented programming conscientious software

来源：评论

学校读者我要写书评

暂无评论

Living it up with a live programming language

引用

acm sigplan NOTICES 2007年第10期42卷 623-637页

作者： McDirmid, Sean Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland

A dynamic language promotes ease of use through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages go beyond dynamic languages with more ease of use features. A live language supports live programming that provides programmers with responsive and continuous feedback about how their edits affect program execution. A live language is also based on high-level constructs such as declarative rules so that programmers can write less code. A live language could also provide programmers with responsive semantic feedback to enable time-saving services such as code completion. This paper describes the design of a textual live language that is based on reactive data-flow values known as signals and dynamic inheritance. Our language, Super-Glue, supports live programming with responsive semantic feedback, which we demonstrate with a working prototype.

关键词： Human Factors languages

来源：评论

学校读者我要写书评

暂无评论

WebRB: Evaluating a visual domain-specific language for building relational web-applications

引用

acm sigplan NOTICES 2007年第10期42卷 281-300页

作者： Leff, Avraham Rayfield, James T. IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA

Many web-applications can be characterized as "relational". In this paper we introduce and evaluate WebRB, a visual domain-specific language for building such applications. WebRB addresses the limitations of the conventional "imperative-embedding" approach typically used to build relational web-applications. We describe the WebRB language, present extended examples of its use, and discuss the WebRB visual editor, libraries, and runtime. We then evaluate WebRB by comparing it to alternative approaches, and demonstrate its effectiveness in building relational web-applications.

关键词： languages WebRB web relational blocks relational web-applications web-application development visual programming languages data-flow languagesR

来源：评论

学校读者我要写书评

暂无评论

Confessions of a used programming language salesman - Getting the masses hooked on haskell

引用

acm sigplan NOTICES 2007年第10期42卷 677-694页

作者： Meijer, Erik Microsoft SQL Server Redmond WA 98052 USA

When considering the past or the future, dear apprentice, be mindful of the present. If, while considering the past, you become caught in the past, lost in the past, or enslaved by the past, then you have forgotten yourself in the present. If, while considering the future, you become caught in the future, lost in the future, or enslaved by the future, then you have forgotten yourself in the present. Conversely, when considering the past, if you do not become caught, lost, or enslaved by the past, then you have remained mindful of the present. And if, when considering the future, you do not become caught, lost, or enslaved in the future, then you have remained mindful of the present.

关键词： General Terms languages Human Factors Theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：