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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Constructing language processors with algebra combinators 07

Constructing language processors with algebra combinators

引用

6th international conference on generative programming and component engineering

ISBN: (纸本)9781595938558

关键词： Generic programming Modular semantics

来源：评论

学校读者我要写书评

暂无评论

generative programming techniques for Java library migration 07

Generative programming techniques for Java library migration

引用

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

作者： Winter, Victor L. Mametjanov, Azamat University of Nebraska Omaha

ISBN: (纸本)9781595938558

Embedded systems can be viewed as scaled-down versions of their stand-alone counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from libraries for stand-alone systems. One such example is the Java library for Java Virtual Machines. An embedded system does not always support all features as in the case of an embedded JVM that does not support floating-point operations. In such cases, an existing library needs to be migrated to the embedded platform. Libraries are large collections of code and manual migration is a daunting task. In this paper, we provide an automated approach to the library migration problem using program transformations. the solution developed in this paper enables rapid adaptation and re-targeting of Java libraries in the presence of evolving libraries and evolving embedded platforms. Copyright © 2007 ACM.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

generative metaprogramming 07

Generative metaprogramming

引用

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

作者： Trujillo, Salvador Azanza, Maider Diaz, Oscar IKERLAN Research Centre Mondragon Spain ONEKIN Research Group University of the Basque Country San Sebastian Spain

ISBN: (纸本)9781595938558

Recent advances in Software engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when executed, will synthesize a target program. the traditional cycle of configuring-linking-compiling, now needs to be supplemented with additional transformation steps that refine and enhance an initial specification until the target program is obtained. So far, these synthesis processes are based on error-prone, hand-crafted scripting. To depart from this situation, this paper addresses generative metaprogramming, i.e. the generation of program-synthesis metaprograms from declarative specifications. To this end, we explore (i) the (meta) primitives for program synthesis, (ii) the architecture that dictates how these primitives can be intertwined, and (iii) the declarative specification of the metaprogram from which the code counterpart is generated. Copyright © 2007 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures 07

A type-centric framework for specifying heterogeneous, large...

引用

6th international conference on generative programming and component engineering

作者： Jung, Georg Hatcliff, John Univ Potsdam Inst Informat D-14482 Potsdam Germany Kansas State Univ Manhattan KS 66506 USA

ISBN: (纸本)9781595938558

Maintaining integrity and consistency, and effecting conformance in architectures of large-scale systems require specification and enforcement of many different forms of structural constraints. While type systems have proved effective for enforcing structural constraints in programs and data structures, most architectural modeling frameworks include only weak notions of typing or rely on first order logic constraint languages that have steep learning curves associated with them and that become unwieldy when scaling to large systems. We present the CADENA Architecture Language with Meta-modeling (CALM) - that uses multi-level type systems to specify and enforce a variety of architectural constraints relevant to the development of large-scale component-based systems. CADENA is a robust and extensible tool that has been used to specify a number of industrial strength component models and applied in multiple industrial research projects on model-driven development and software product lines. (C) 2009 Elsevier B.V. All rights reserved.

关键词： component-oriented development Meta-modeling Middleware Model-driven development Software architecture Type systems

来源：评论

学校读者我要写书评

暂无评论

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs 10

Lightweight Modular Staging: A Pragmatic Approach to Runtime...

引用

9th international conference on generative programming and component engineering

作者： Rompf, Tiark Odersky, Martin Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland

ISBN: (纸本)9781450301541

Software engineering demands generality and abstraction, performance demands specialization and concretization. generative programming can provide both, but developing high-quality program generators takes a large effort, even if a multi-stage programming language is used. We present lightweight modular staging, a library-based multi-stage programming approach that breaks with the tradition of syntactic quasi-quotation and instead uses only types to distinguish between binding times. through extensive use of component technology, lightweight modular staging makes an optimizing compiler framework available at the library level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process. We argue that lightweight modular staging enables a form of language virtualization, i.e. allows to go from a pure-library embedded language to one that is practically equivalent to a stand-alone implementation with only modest effort.

关键词： Design Languages Code Generation Multi-stage programming Domain-specific languages Language Virtualization

来源：评论

学校读者我要写书评

暂无评论

Refactoring-based support for binary compatibility in evolving frameworks 07

Refactoring-based support for binary compatibility in evolvi...

引用

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

作者： Şavga, Ilie Rudolf, Michael Institut für Software- und Multimediatechologie Technische Universität Dresden Germany

ISBN: (纸本)9781595938558

the evolution of a software framework may invalidate existing plugins - modules that used one of its previous versions. To preserve binary compatibility (i.e., plugins will link and run with a new framework release without recompilation), we automatically create an adaptation layer that translates between plugins and the framework. the creation of these adapters is guided by information about syntactic framework changes (refactorings). For each supported refactoring we formally define a comeback - a refactoring used to construct adapters. For an ordered set of refactorings that occured between two framework versions, the backward execution of the corresponding comebacks yields the adaptation layer. Copyright © 2007 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

引用

SCIENCE OF COMPUTER programming 2010年第7期75卷 615-637页

作者： Jung, Georg Hatcliff, John Univ Potsdam Inst Informat D-14482 Potsdam Germany Kansas State Univ Manhattan KS 66506 USA

关键词： component-oriented development Meta-modeling Middleware Model-driven development Software architecture Type systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：