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

5th international conference on generative programming and component engineering, GPCE'06. Co-located with the 21st international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006

作者： Lämmel, Ralf Ostermann, Klaus Microsoft Corp. Data Programmability Team United States Darmstadt University of Technology Germany

ISBN: (纸本)1595932372

the abilities to extend a software module and to integrate a software module into an existing software system without changing existing source code are fundamental challenges in software engineering and programming-language design. We reconsider these challenges at the level of language expressiveness, by using the language concept of type classes, as it is available in the functional programming language Haskell. A detailed comparison with related work shows that type classes provide a powerful framework in which solutions to known software extension and integration problems can be provided. We also pinpoint several limitations of type classes in this context. Copyright © 2006 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

GPCE'07 - Proceedings of the Sixth international conference on generative programming and component engineering

GPCE'07 - Proceedings of the Sixth International Conference ...

引用

GPCE'07 - 6th international conference on generative programming and component engineering

ISBN: (纸本)9781595938558

the proceedings contain 21 papers. the topics discussed include: generative metaprogramming;parsimony principles for software components and metalanguages;debugging macros;lightweight scalable components;constructing language processors with algebra combinators;aspects of availability;refactoring-based support for binary compatibility in evolving frameworks;Repleo: a syntax-safe template engine;preventing injection attacks with syntax embeddings;context-aware scanning for parsing extensible languages;library composition and adaptation using C++ concepts;challenges in generating QoS-constrained software implementations;and safe composition of product lines.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

A multi-stage language with intensional analysis 06

A multi-stage language with intensional analysis

引用

作者： Viera, Marcos Pardo, Alberto Instituto de Computación Universidad de la República Montevideo Uruguay

ISBN: (纸本)1595932372

this paper presents the definition of a language with reflection primitives. the language is a homogeneous multi-stage language that provides the capacity of code analysis by the inclusion of a pattern matching mechanism that permits inspection of the structure of quoted expressions and their destruction into component subparts. Quoted expressions include an explicit annotation of their context which is used for dynamic inference of type, where a dynamic typing discipline based on Hinze and Cheney's approach is used for typing quoted *** paper follows the approach of Sheard and Pasalic about the use of the meta-language mega as a tool for language design. In this sense, it is shown how to represent the syntax, the static as well as the dynamic semantics of the proposed language in terms of mega constructs. Copyright © 2006 ACM.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Constructing language processors with algebra combinators

引用

SCIENCE OF COMPUTER programming 2010年第7期75卷 543-572页

作者： Frisby, Nicolas Kimmell, Garrin Weaver, Philip Alexander, Perry Univ Kansas Informat Technol & Telecommun Ctr Dept Elect Engn & Comp Sci Lawrence KS 66045 USA Signalicorp Portland OR 97212 USA

Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. the principal attraction of MMS is that families of language constructs can be independently specified and later combined in a mix-and-match fashion to create a complete language semantics. this has proved useful for constructing formal, yet executable, semantics when prototyping languages. In this work we demonstrate that MMS has an additional software engineering benefit. In addition to composing semantics for various language constructs, we can use MMS to compose various differing semantics for the same language constructs. this capability allows us to compose and reuse orthogonal language tasks such as type checking and compilation. We describe algebra combinators, the principal vehicle for achieving this reuse, along with a series of applications of the technique for common language processing tasks. (C) 2010 Elsevier B.V. All rights reserved.

关键词： Generic programming Modular semantics

来源：评论

学校读者我要写书评

暂无评论

Generating Safe Template Languages 09

Generating Safe Template Languages

引用

8th international conference on generative programming and component engineering

作者： Heidenreich, Florian Johannes, Jendrik Seifert, Mirko Wende, Christian Boehme, Marcel Tech Univ Dresden Fak Informat Lehrstuhl Softwaretechnol Dresden Germany

ISBN: (纸本)9781605584942

Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. However, most template languages perform template instantiation on the level of string literals, which allows neither syntax checks nor semantics analysis. To make sure that generated artefacts always conform to the object language, we propose to perform static analysis at template design time. In addition, the increasing popularity of domain-specific languages (DSLs) demands an approach that allows to reuse both the concepts of template languages and the corresponding tools. In this paper we address the issues mentioned above by presenting how existing languages can be automatically extended with generic template concepts (e.g., placeholders, loops, conditions) to obtain safe template languages. these languages provide means for syntax checking and static semantic analysis w.r.t. the object language at template design time. We discuss the prerequisites for this extension, analyse the types of correctness properties that can be assured at template design time, and exemplify the key benefits of this approach on a textual DSL and Java.

关键词： Languages generative programming template language safe authoring language extension

来源：评论

学校读者我要写书评

暂无评论

A type system for reflective program generators 05

A type system for reflective program generators

引用

4th international conference on generative programming and component engineering

作者： Draheim, D Lutteroth, C Weber, G Free Univ Berlin Inst Comp Sci D-14195 Berlin Germany Univ Auckland Dept Comp Sci Auckland 1020 New Zealand

ISBN: (纸本)3540291385

In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. this mechanism makes many code generation tasks possible for which generic types alone would be insufficient. the power of code generation features are carefully balanced with their safety, so that we axe able to perform static type checks on generator code. this leads to a generalized notion of type safety for generators.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

Oz/K: A kernel language for component-based open programming 07

Oz/K: A kernel language for component-based open programming

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Lienhardt, Michael Schmitt, Alan Stefani, Jean-Bernard Université Grenoble i France INRIA France

ISBN: (纸本)9781595938558

programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an approach to open distributed programming that exploits the notion of locality, which has been used in the past decade as a basis for several distributed process calculi such as Mobile Ambients, D, and Seal. We use the locality concept as a form of component that serves as a unit of modularity, of isolation, and of passivation. Specifically, we introduce in this paper Oz/K, a kernel programming language, that adds to the Oz computation model a notion of locality borrowed from the Kell calculus. We present an operational semantics for the language and several examples to illustrate how Oz/K supports open distributed programming. Copyright © 2007 ACM.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems 11

Towards Automatic Generation of Formal Specifications to Val...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Slatten, Vidar Kraemer, Frank Alexander Herrmann, Peter Norwegian Univ Sci & Technol NTNU Dept Telemat N-7491 Trondheim Norway

ISBN: (纸本)9781450306898

the validation and verification of reliable systems is a difficult and complex task, mainly for two reasons: First, it is difficult to precisely state which formal properties a system needs to fulfil to be of high quality. Second, it is complex to automatically verify such properties, due to the size of the analysis state space which grows exponentially with the number of components. We tackle these problems by a tool-supported method which embeds application functionality in building blocks that use UML activities to describe their internal behaviour. To describe their externally visible behaviour, we use a combination of complementary interface contracts, so-called ESMs and EESMs. In this paper, we present an extension of the interface contracts, External Reliability Contracts (ERCs), that capture failure behaviour. this separation of different behavioural aspects in separate descriptions facilitates a two-step analysis, in which the first step is completely automated and the second step is facilitated by an automatic translation of the models to the input syntax of the model checker TLC. Further, the cascade of contracts is used to separate the work of domain and reliability experts. the concepts are proposed with the background of a real industry case, and we demonstrate how the use of interface

关键词： Design Reliability Verification Model-driven engineering reliable systems fault tolerance component contracts compositional verification model checking

来源：评论

学校读者我要写书评

暂无评论

HotWave: Creating Adaptive Tools with Dynamic Aspect-Oriented programming in Java 09

HotWave: Creating Adaptive Tools with Dynamic Aspect-Oriente...

引用

8th international conference on generative programming and component engineering

作者： Villazon, Alex Binder, Walter Ansaloni, Danilo Moret, Philippe Univ Lugano Fac Informat CH-6900 Lugano Switzerland

ISBN: (纸本)9781605584942

Developing tools for profiling, debugging, testing, and reverse engineering is error-prone, time-consuming, and therefore costly when using low-level techniques, such as bytecode instrumentation. As a solution to these problems, we promote tool development in Java using high-level aspect-oriented programming (AOP). We demonstrate that the use of aspects yields compact tools that are easy to develop and extend. As enabling technology, we rely on HotWave, a new tool for dynamic and comprehensive aspect weaving. HotWave reconciles compatibility with existing virtual machine and AOP technologies. It provides support for runtime adaptation of aspects and reweaving of previously loaded code, as well as the ability to weave aspects into all methods executing in a Java Virtual Machine, including methods in the standard Java class library. HotWave also features a new mechanism for efficiently passing data between advices that are woven into the same method. We demonstrate the benefits of HotWave's distinguishing features with two case studies in the area of profiling.

关键词： Algorithms Languages Measurement Dynamic aspect-oriented programming runtime weaving bytecode instrumentation code hotswapping profiling AspectJ Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

Flexible and efficient measurement of dynamic bytecode metrics 06

Flexible and efficient measurement of dynamic bytecode metri...

引用

作者： Binder, Walter Hulaas, Jarle School of Computer and Communication Sciences CH-1015 Lausanne Switzerland

ISBN: (纸本)1595932372

Code instrumentation is finding more and more practical applications, but the required program transformations are often difficult to implement, due to the lack of dedicated, high-level tools. In this paper we present a novel instrumentation framework that supports the partial evaluation of compiled Java code transformation templates, with the goal of efficiently measuring chosen dynamic bytecode and control flow metrics. this framework, as well as the instrumentation code it generates, is implemented in pure Java and hence completely platform-independent. We show the benefits of our approach in several application areas, such as platform-independent resource management and profiling of software components. Copyright © 2006 ACM.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：