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

6th Workshop on the implementation, Compilation, Optimization of Object-Oriented languages, Programs and Systems, ICOOOLPS 2011 - In Conjunction with the 25th European conference on Object-Oriented programming, ECOOP 2011

作者： Kaewkasi, Chanwit Kaewkasi, Pitchaya School of Computer Engineering Suranaree University of Technology Nakhon Ratchasima Thailand

ISBN: (纸本)9781450308946

This paper explores the feasibility of implementing pattern matching for the Go programming language. The design of pattern matching is taken from Scala, and reimplemented using Go's constructs and new language extensions, namely casestruct and trait. The evaluations show that pattern matching allows expressing decomposition for struct in concise forms. The concepts of casestruct and trait are suggested to add to the Go language in order to make it properly supports pattern matching. However, the performance of the current implementation is still slower than hand-written struct decompositions. The evaluations also suggest that performance penalty of the type embedding feature proposed by Go for inheritance-like relationship is found in the GCCGO implementation, but not in another implementation, namely 8g. © 2011 acm.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Kill-safe synchronization abstractions

Kill-safe synchronization abstractions

引用

conference on programming language design and implementation

作者： Flatt, M Findler, RB Univ Utah Salt Lake City UT 84112 USA Univ Chicago Chicago IL 60637 USA

When an individual task can be forcefully terminated at any time, cooperating tasks must communicate carefully. For example, if two tasks share an object, and if one task is terminated while it manipulates the object, the object may remain in an inconsistent or frozen state that incapacitates the other task. To support communication among terminable tasks, language run-time systems (and operating systems) provide kill-safe abstractions for inter-task communication. No kill-safe guarantee is available, however, for abstractions that are implemented outside the run-time system. In this paper, we show how a run-time system can support new kill-safe abstractions without requiring modification to the run-time system, and without requiring the run-time system to trust any new code. Our design frees the run-time implementor to provide only a modest set of synchronization primitives in the trusted computing base, while still allowing tasks to communicate using sophisticated abstractions.

关键词： languages design

来源：评论

学校读者我要写书评

暂无评论

Charm++: A portable concurrent object oriented system based on C++ 8

Charm++: A portable concurrent object oriented system based ...

引用

8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993

作者： Kale, Laxmikant V. Krishnan, Sanjeev Department of Computer Science University of Illinois Urbana-Champaign United States

ISBN: (纸本)0897915879

We describe Charm++, an object oriented portable parallel programming language based on C++. Its design philosophy, implementation, sample applications and their performance on various parallel machines are described. Charm++ is an explicitly parallel language consisting of C++ with a few extensions. It provides a clear separation between sequential and parallel objects. The execution model of Charm++ is message driven, thus helping one write programs that are latencytolerant. The language supports multiple inheritance, dynamic binding, overloading, strong typing, and reuse for parallel objects. Charm++ provides specific modes for sharing information between parallel objects. Extensive dynamic load balancing strategies are provided. It is based on the Charm parallel programming system, and its runtime system implementation reuses most of the runtime system for Charm. © 1993 acm.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

KonohaScript: Static scripting for practical use

KonohaScript: Static scripting for practical use

引用

acm International conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH'11

作者： Kuramitsu, Kimio JST/CREST/DEOS Project Yokohama National University Japan

ISBN: (纸本)9781450309424

This demonstration presents the language design of Konoha-Script, a statically typed object-oriented scripting language. KonohaScript provides the very similar scripting experiences compared to dynamic languages. In addition, it also preserves useful programming supports by static typing, such as automated verification of careless mistakes, improved readability of source code, better opportunity of optimized code generation. This demonstration will show how KonohaScript improved scripting experiences with static typing, using our open source implementation fully written in C.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Generative software product line development using variability-aware design patterns

引用

COMPUTER languageS SYSTEMS & STRUCTURES 2017年 48卷 89-111页

作者： Seidl, Christoph Schuster, Sven Schaefer, Ina Tech Univ Carolo Wilhelmina Braunschweig Braunschweig Germany

Software Product Lines (SPLs) are an approach to reuse in-the-large that models a set of closely related software systems in terms of commonalities and variabilities. design patterns are best practices for addressing recurring design problems in object-oriented source code. In the practice of implementing SPL, instances of certain design patterns are employed to handle variability, which makes these "variability-aware design patterns" a best practice for SPL design. However, currently there is no dedicated method for proactively developing SPLs using design patterns suitable for realizing variable functionality. In this paper, we present a method to perform generative SPL development with design patterns. We use role models to capture design patterns and their relation to a variability model. We further allow mapping of individual design pattern roles to (parts of) implementation elements to be generated (e.g., classes, methods) and check the conformance of the realization with the specification of the pattern. We provide definitions for the variability-aware versions of the design patterns Observer, Strategy, Template Method and Composite. Furthermore, we support generation of realization's in Java, C++ and UML class diagrams utilizing annotative, compositional and transformational variability realization mechanisms. Hence, we support proactive development of SPLs using design patterns to apply best practices for the realization of variability. We realize our concepts within the Eclipse IDE and demonstrate them within a case study. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： SOFTWARE product line engineering COMPUTER software development SOFTWARE patterns REALIZATION (Linguistics) JAVA (Computer program language) C++ (Computer program language)

来源：评论

学校读者我要写书评

暂无评论

Scala 2018 - Proceedings of the 9th acm sigplan International Symposium on Scala, co-located with ICFP 2018

Scala 2018 - Proceedings of the 9th ACM SIGPLAN Internationa...

引用

9th acm sigplan International Symposium on Scala, Scala 2018, Part of the acm sigplan International conference on Functional programming, ICFP 2018

ISBN: (纸本)9781450358361

The proceedings contain 9 papers. The topics discussed include: a domain-specific language for microservices;parser combinators for context-free path querying;garnishing parsec with parsley;path dependent types with path-equality;kDOT: scaling DOT with mutation and constructors;truly abstract interfaces for algebraic data types: the extractor typing problem;interflow: interprocedural flow-sensitive type inference and method duplication;and extending scala with records: design, implementation, and evaluation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Making asynchronous parallelism safe for the world

Making asynchronous parallelism safe for the world

引用

conference Record of the Seventeenth Annual acm Symposium on Principles of programming languages, POPL'90

作者： Steele, Guy L. Thinking Machines Corp MA United States

A programming model that combines the advantages of the synchronous and asynchronous parallel styles is proposed. Asynchronous threads of control, but shared-memory accesses and other side effects are restricted so as to prevent the behavior of the program from depending on any accidents of execution order that can arise from the indeterminacy of the asynchronous process model. These restrictions may be enforced either dynamically (at run time) or statically (at compile time). This paper concentrates on dynamic enforcement, and exhibit an implementation of a parallel dialect of Scheme based on these ideas. A single successful execution of a parallel program in this model constitutes a proof that the program is free of race conditions (for that particular set of input data). Speculations are offered on a design for a programming language using static enforcement.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)

Workshop preview of the 2015 workshop on reactive and event-...

引用

acm sigplan International conference on Systems, programming, languages and Applications: Software for Humanity, SPLASH 2015

作者： Salvaneschi, Guido De Meuter, Wolfgang Eugster, Patrick Ziarek, Lukasz Technische Universität Darmstadt Germany Vrije Universiteit Brussel Belgium Purdue University United States State University of New York United States

ISBN: (纸本)9781450337229

Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HCI technology and the ever increasing requirement for applications to run on the web or on collaborating mobile devices. A number of publications about middleware and language design - so-called reactive and event-based languages and systems - have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop gathers researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A unified system of parameterization for programming languages 88

A unified system of parameterization for programming languag...

引用

1988 acm conference on LISP and Functional programming, LFP 1988

作者： Lamping, John Stanford University United States Xerox PARC United States

ISBN: (纸本)089791273X

Introduction: A system is parameterized when it has one or more external inputs which partially determine a result. In the lambda calculus parameterization arises in two situations;the value of a function is paramerized over its arguments, and the value of an expression is parameterized over its free variables. Modern LISP systems incorporate these parameterization mechanisms and tend to add a number of others as well. Some of their facilities that involve parameterization include: explicit access to environments, quotation, module facilities, and method lookup in object systems. This proliferation of different mechanisms is unappealing. We present a small formal system of parameterization that is capable of expressing the parameterization capabilities mentioned above. It provides a tool for understanding what different parameterization mechanisms are providing;and it could serve as the basis of all parameterization in a functional programming language. The system has theoretical power equivalent to the lambda calculus, and is about the same size. The rest of this paper presents the system, and gives some examples of using it. The paper concludes with a brief discussion of implementation issues and a survey of related work. A more complete exposition can be found in the author's dissertation |Lam88|. © 1988 acm.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Pluggable AOP - designing aspect mechanisms for third-party composition

Pluggable AOP - Designing aspect mechanisms for third-party ...

引用

OOPSLA'05 - 20th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications

作者： Kojarski, Sergei Lorenz, David H. Department of Computer Science University of Virginia Charlottesville VA 22904-4740 United States Northeastern University University of Virginia

Studies of Aspect-Oriented programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. languages specified in this manner have a fixed, non-extensible AOP functionality. This paper argues the need for AOP to support the integration and use of multiple domain-specific aspect extensions together. We study the more general case of integrating a base language with a set of third-party aspect extensions for that language. We present a general mixin-based semantic framework for implementing dynamic aspect extensions in such a way that multiple, independently developed aspect mechanisms can be subject to third-party composition and work collaboratively. Principles governing the design of a collaborative aspect mechanism are aspectual effect exposure and implementation hiding. Copyright 2005 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：