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

proceedings of the 15th acm sigplan conference on Object-oriented programming, systems, languages, and applications

作者： Stephan Herrmann Mira Mezini Technical University Berlin D-10587 Berlin Germany Darmstadt University of Technology D-64283 Darmstadt Germany

ISBN: (纸本)9781581132007

In this paper, we present our experience with applying multidimensional separation of concerns to a software engineering environment. By comparing two different designs of our system, we show the importance of separating integration issues from the implementation of the individual concerns. We present a model in which integration issues are encapsulated into rst--class connector objects and indicate how this facilitates the understandability, maintenance and evolution of the system. We identify issues of binding time, binding granularity and binding cardinality as important criteria in selecting an appropriate model for separation of concerns. We finally show how a good choice following these criteria and considering the requirements of software engineering environments leads to a system with dynamic configurability, high--level component integration and support for multiple instantiable views.

关键词： domain—specific language separation of concerns software engineering environment component integration

来源：评论

学校读者我要写书评

暂无评论

Type-safe linking and modular assembly language

Conference Record of the Annual ACM Symposium on Principles ...

引用

Conference Record of the Annual acm symposium on Principles of programming languages 1999年 250-261页

作者： Glew, Neal Morrisett, Greg Cornell Univ Ithaca NY United States

Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends crucially upon a set of checks that must be performed at link time. Building upon the simple, but elegant ideas of Cardelli, and module constructs from high-level languages, we present a formal model of typed object files and a set of inference rules that are sufficient to guarantee that type safety is preserved by the linking process. Whereas Cardelli's link calculus is built on top of the simply-typed lambda calculus, our object files are based upon typed assembly language so that we may model important low-level implementation issues. Furthermore, unlike Cardelli, we provide support for abstract types and higher-order type constructors - features critical for building extensible systems or modern programming languages such as ML.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Collaboration and composition: issues for a second generation process language 1

引用

7th European Software Engineering Conference/7th acm SIGSOFT symposium on the Foundations of Software Engineering

作者： Warboys, BC Balasubramaniam, D Greenwood, RM Kirby, GNC Mayes, K Morrison, R Munro, DS Univ Manchester Dept Comp Sci IPG Manchester M13 9PL Lancs England Univ St Andrews Sch Math & Computat Sci St Andrews KY16 9SS Fife Scotland Univ Adelaide Dept Comp Sci Adelaide SA 5005 Australia

ISBN: (数字)9783540481669

ISBN: (纸本)3540665382

Over the past decade a variety of process languages have been defined and applied to software engineering environments. The idea of using a process language to encode a software process as a "process model", and enacting this using a process-sensitive environment is now well established. Many prototype process-sensitive environments have been developed;but their use in earnest has been limited. We are designing a second generation process language which is a significant departure from current conventional thinking. Firstly a process is viewed as a set of mediated collaborations rather than a set of partially ordered activities. Secondly emphasis is given to how process models are developed, used, and enhanced over a potentially long lifetime. In particular the issue of composing both new and existing model fragments is central to our development approach. This paper outlines these features, and gives the motivations behind them. It also presents a view of process support for software engineering drawing on our decade of experience in exploiting a "first generation" process language, and our experience in designing and exploiting programming languages.

关键词： process languages process-based environments persistence concurrency control hyper-programming

来源：评论

学校读者我要写书评

暂无评论

Collaboration and composition: issues for a second generation process language 7

引用

proceedings of the 7th European software engineering conference held jointly with the 7th acm SIGSOFT international symposium on Foundations of software engineering

作者： B. C. Warboys D. Balasubramaniam R. M. Greenwood G. N. C. Kirby K. Mayes R. Morrison D. S. Munro Univ. of Manchester Manchester UK Univ. of St Andrews Fife UK Univ. of Adelaide Adelaide South Australia Australia

ISBN: (纸本)9783540665380

Over the past decade a variety of process languages have been defined and applied to software engineering environments. The idea of using a process language to encode a software process as a “process model”, and enacting this using a process-sensitive environment is now well established. Many prototype process-sensitive environments have been developed; but their use in earnest has been limited. We are designing a second generation process language which is a significant departure from current conventional thinking. Firstly a process is viewed as a set of mediated collaborations rather than a set of partially ordered activities. Secondly emphasis is given to how process models are developed, used, and enhanced over a potentially long lifetime. In particular the issue of composing both new and existing model fragments is central to our development approach. This paper outlines these features, and gives the motivations behind them. It also presents a view of process support for software engineering drawing on our decade of experience in exploiting a “first generation” process language, and our experience in designing and exploiting programming languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multi-stage programming with explicit annotations 97

Multi-stage programming with explicit annotations

引用

1997 acm sigplan symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 97)

作者： Taha, W Sheard, T Oregon Grad Inst Sci & Technol Beaverton OR 97006 USA

ISBN: (纸本)9780897919173

We introduce MetaML, a statically-typed multi-stage programming language extending Nielson and Nielson's two stage notation to an arbitrary number of stages. MetaML extends previous work by introducing four distinct staging annotations which generalize those published previously [25, 12, 7, 6] We give a static semantics in which type checking is done once and for all before the first stage, and a dynamic semantics which introduces a new concept of cross-stage persistence, which requires that variables available in any stage are also available in all future stages. We illustrate that staging is a manual form of binding time analysis. We explain why, even in the presence of automatic binding time analysis, explicit annotations are useful, especially for programs with more than two stages. A thesis of this paper is that multi-stage languages are useful as programming languages in their own right, and should support features that make it possible for programmers to write staged computations without significantly changing their normal programming style. To illustrate this we provide a simple three stage example, and an extended two-stage example elaborating a number of practical issues.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

New model for integrated nested task and data parallel programming

New model for integrated nested task and data parallel progr...

引用

proceedings of the 1997 6th acm sigplan symposium on Principles and Practice of Parallel programming

作者： Subhlok, Jaspal Yang, Bwolen Carnegie Mellon Univ Pittsburgh United States

High Performance Fortran (HPF) has emerged as a standard language for data parallel computing. However, a wide variety of scientific applications are best programmed by a combination of task and data parallelism. Therefore, a good model of task parallelism is important for continued success of HPF for parallel programming. This paper presents a task parallelism model that is simple, elegant, and relatively easy to implement in an HPF environment. Task parallelism is exploited by mechanisms for dividing processors into sub-groups and mapping computations and data onto processor subgroups. This model of task parallelism has been implemented in the Fx compiler at Carnegie Mellon University. The paper addresses the main issues in compiling integrated task and data parallel programs and reports on the use of this model for programming various flat and nested task structures. Performance results are presented for a set of programs spanning signal processing, image processing, computer vision and environment modeling. A variant of this task model is a new approved extension of HPF and this paper offers insight into the power of expression and ease of implementation of this extension.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

A new model for integrated nested task and data parallel programming 97

A new model for integrated nested task and data parallel pro...

引用

proceedings of the sixth acm sigplan symposium on Principles and practice of parallel programming

作者： Jaspal Subhlok Bwolen Yang School of Computer Science Carnegie Mellon University Pittsburgh PA

ISBN: (纸本)9780897919067

High Performance Fortran (HPF) has emerged as a standard language fordata parallel computing. However, a wide variety of scientific applications are best programmed by a combination of task and data parallelism. Therefore, a good model of task parallelism is important for continued success of HPF for parallel programming. This paper presents a task parallelism model that is simple, elegant, and relatively easy to implement in an HPF environment. Task parallelism is exploited by mechanisms for dividing processors into subgroups and mapping computations and data onto processor subgroups. This model of task parallelism has been implemented in the Fx compiler at Carnegie Mellon University. The paper addresses the main issues in compiling integrated task and data parallel programs and reports on the use of this model for programming various flat and nested task structures. Performance results are presented for a set of programs spanning signal processing, image processing, computer vision and environment modeling. A variant of this task model is a new approved extension of HPF and this paper offers insight into the power of expression and ease of implementation of this extension.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An experiment on a concurrent object-oriented programming language 96

An experiment on a concurrent object-oriented programming la...

引用

1996 acm symposium on Applied Computing, SAC 1996

作者： Jo, Chang-Hytm Computer Science Department Kyonggi University Suwon Kyonggi-Do Korea Republic of

ISBN: (纸本)0897918207

This paper discusses about the related issues occurring with adoption of concurrency and object-orientedness into a modular programming language, and presents new features for concurrent object-oriented programming. The base language of this work is CHILL, which is a high-level language for system programming recommended by CCITT(ITU-T). CHILL has been widely used by many telecommunication areas. Currently the effort to adopt object-oriented concepts into CHILL has been also actively done at ITU-T. The experimental language COOC(Concurrent Object-Oriented CHILL) is designed and implemented for testing object-oriented programming in concurrent and distributed environments such as telecommunication area. The language model of this work is based on the proposals for ITU-T. Various implementation schemes for the new language have been also presented here.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Logic program based action specifications 95

Logic program based action specifications

引用

proceedings of the 1995 acm symposium on Applied Computing

作者： Fisher, John R. California State Polytechnic Univ CA United States

ISBN: (纸本)9780897916585

This paper proposes a theory of action specifications using logic programs enhanced with actions. The intention of this is to provide an abstract theoretical framework for formal or semi-formal software specifications. The specifications themselves have a very natural logical form, and are relatively easy to work with, because of the highly declarative nature of the preconditions. Reasoning about requirements can be done using the abstract action specifications. Direct implementations of the abstract theory can be done with languages like Prolog. Such direct implementation means that the resulting prototype is very nearly an executable form of the formal specification. The paper briefly compares this approach to formal Z specifications, and animation of Z specifications, as well other current developments regarding specification issues and logic programming.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Adding spice to software development: a software development approach designed for rapidly changing environments 95

Adding spice to software development: a software development...

引用

proceedings of the 1995 acm symposium on Applied computing

作者： Jay D. Beams Virginia Polytechnic Institute and State University

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：