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

proceedings of the seventh acm sigplan international conference on Functional programming

作者： Matthew Flatt University of Utah

ISBN: (纸本)9781581134872

Many macro systems, especially for Lisp and Scheme, allow macro transformers to perform general computation. Moreover, the language for implementing compile-time macro transformers is usually the same as the language for implementing run-time functions. As a side effect of this sharing, implementations tend to allow the mingling of compile-time values and run-time values, as well as values from separate compilations. Such mingling breaks programming tools that must parse code without executing it. Macro implementors avoid harmful mingling by obeying certain macro-definition protocols and by inserting phase-distinguishing annotations into the code. However, the annotations are fragile, the protocols are not enforced, and programmers can only reason about the result in terms of the compiler's implementation. MzScheme---the language of the PLT Scheme tool suite---addresses the problem through a macro system that separates compilation without sacrificing the expressiveness of macros.

关键词： macros modules language tower

来源：评论

学校读者我要写书评

暂无评论

GCspy: An adaptable heap visualisation framework

引用

acm sigplan NOTICES 2002年第11期37卷 343-358页

作者： Printezis, T Jones, R Univ Glasgow Dept Comp Sci Glasgow G12 8RZ Lanark Scotland Univ Kent Comp Lab Canterbury CT2 7NF Kent England

GCspy is an architectural framework for the collection, transmission, storage and replay of memory management behaviour. It makes new contributions to the understanding of the dynamic memory behaviour of programming languages (and especially object-oriented languages that make heavy demands on the performance of memory managers). GCspy's architecture allows easy incorporation into any memory management system: it is not limited to garbage-collected languages. It requires only small changes to the system in which it is incorporated but provides a simple to use yet powerful data-gathering API. GCspy scales to allow very large heaps to be visualised effectively and efficiently. It allows already-running, local or remote systems to be visualised and those systems to run at full speed outside the points at which data is gathered. GCspy's visualisation tool presents this information in a number of novel ways. Deep understanding of program behaviour is essential to the design of the next generation of garbage collectors and explicit allocators. Until now, no satisfactory tools have been available to assist the implementer in gaining an understanding of heap behaviour. GCspy has been demonstrated to be a practical solution to this dilemma. It has been used to analyse production Java virtual machines running applications of realistic sizes. Its use has revealed important insights into the interaction between application program and JVM and has led to the development of better garbage collectors.

关键词： algorithms measurement performance languages human factors language implementation memory management garbage collection visualisation of objects Java

来源：评论

学校读者我要写书评

暂无评论

Aspect-Oriented Modeling: Bridging the Gap between implementation and design 02

Aspect-Oriented Modeling: Bridging the Gap between Implement...

引用

proceedings of the 1st acm sigplan/SIGSOFT conference on Generative programming and Component Engineering

作者： Tzilla Elrad Omar Aldawud Atef Bader

ISBN: (纸本)9783540442844

Separation of Concerns is one of the software engineering design principles that is getting more attention from practitioners and researchers in order to promote design and code reuse. Separation of Concerns (SoC) separates requirements such as synchronization and scheduling from the core functionality. These requirements are often referred to as crosscutting-concerns. The implementation of such requirements is scattered throughout the system, which results in the code-tangling problem. Aspect Oriented programming provides the user with the ability to modularize, and weave crosscutting-concerns in order to maximize code reusability and solves the code-tangling problem. Weaving is the process of combining crosscutting concerns with the core functionality. Using the UML to model and interweave these concerns is a craft that is hard to master due to the lack of formal modeling techniques based on SoC. In this paper we present a formal design methodology to model the system's concerns based on aspect-orientation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A case study for automatic code generation on a coupled ocean-atmosphere model

引用

International conference on Computational Science

作者： van der Mark, P van Engelen, R Gallivan, K Dewar, W Leiden Univ Leiden Inst Advanced Comp Sci NL-2300 RA Leiden Netherlands Florida State Univ Dept Comp Sci Tallahassee FL 32306 USA Florida State Univ Dept Oceanog Tallahassee FL 32306 USA

ISBN: (纸本)3540435913

Traditional design and implementation of large atmospheric models is a difficult, tedious and erroneous task. With the CTADEL project we propose a new method of code generation, where the designer describes the model in an abstract high-level specification language which is translated into highly optimized Fortran code. In this paper we show the abilities of this method on a coupled ocean-atmosphere model, in which we have to deal with multi-resolution domains and different time-steps. We, briefly, describe a new concept in compiler design, the use of templates for code generation, to elevate the burden of choosing architecture optimized numerical routines.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

Tagless staged interpreters for typed languages 02

Tagless staged interpreters for typed languages

引用

proceedings of the seventh acm sigplan international conference on Functional programming

作者： Emir PašaliΕ Walid Taha Tim Sheard Oregon Health & Science University Rice University

ISBN: (纸本)9781581134872

Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of deriving an implementation that is both readable and efficient. In an untyped setting, staging an interpreter "removes a complete layer of interpretive overhead", just like partial evaluation. In a typed setting however, Hindley-Milner type systems do not allow us to exploit typing information in the language being interpreted. In practice, this can mean a slowdown cost by a factor of three or ***, both type specialization and tag elimination were applied to this problem. In this paper we propose an alternative approach, namely, expressing the definitional interpreter in a dependently typed programming language. We report on our experience with the issues that arise in writing such an interpreter and in designing such a language. .To demonstrate the soundness of combining staging and dependent types in a general sense, we formalize our language (called Meta-D) and prove its type safety. To formalize Meta-D, we extend Shao, Saha, Trifonov and Papaspyrou's λH language to a multi-level setting. Building on λH allows us to demonstrate type safety in a setting where the type language contains all the calculus of inductive constructions, but without having to repeat the work needed for establishing the soundness of that system.

关键词： calculus of constructions definitional interpreters multi-stage programming domain-specific languages

来源：评论

学校读者我要写书评

暂无评论

Implementing distribution and persistence aspects with aspectJ 02

Implementing distribution and persistence aspects with aspec...

引用

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

作者： Sergio Soares Eduardo Laureano Paulo Borba Federal University of Pernambuco Recife Pernambuco Brazil

ISBN: (纸本)9781581134711

This paper reports our experience using AspectJ, a general-purpose aspect-oriented extension to Java, to implement distribution and persistence aspects in a web-based information system. This system was originally implemented in Java and restructured with AspectJ. Our main contribution is to show that AspectJ is useful for implementing several persistence and distribution concerns in the application considered, and other similar applications. We have also identified a few drawbacks in the language and suggest some minor modifications that could significantly improve similar implementations. Despite the drawbacks, we argue that the AspectJ implementation is superior to the pure Java implementation. Some of the aspects implemented in our experiment are abstract and constitute a simple aspect framework. The other aspects are application specific but we suggest that different implementations might follow the same aspect pattern. The framework and the pattern allow us to propose architecture-specific guidelines that provide practical advice for both restructuring and implementing certain kinds of persistent and distributed applications with AspectJ.

关键词： aspectJ object persistence distributed programming aspect-oriented programming separation of concerns

来源：评论

学校读者我要写书评

暂无评论

A compiler approach to fast hardware design space exploration in FPGA-based systems 02

A compiler approach to fast hardware design space exploratio...

引用

proceedings of the acm sigplan 2002 conference on programming language design and implementation

作者： Byoungro So Mary W. Hall Pedro C. Diniz University of Southern California Marina del Rey California

ISBN: (纸本)9781581134636

The current practice of mapping computations to custom hardware implementations requires programmers to assume the role of hardware designers. In tuning the performance of their hardware implementation, designers manually apply loop transformations such as loop unrolling. designers manually apply loop transformations. For example, loop unrolling is used to expose instruction-level parallelism at the expense of more hardware resources for concurrent operator evaluation. Because unrolling also increases the amount of data a computation requires, too much unrolling can lead to a memory bound implementation where resources are idle. To negotiate inherent hardware space-time trade-offs, designers must engage in an iterative refinement cycle, at each step manually applying transformations and evaluating their impact. This process is not only error-prone and tedious but also prohibitively expensive given the large search spaces and with long synthesis times. This paper describes an automated approach to hardware design space exploration, through a collaboration between parallelizing compiler technology and high-level synthesis tools. We present a compiler algorithm that automatically explores the large design spaces resulting from the application of several program transformations commonly used in application-specific hardware designs. Our approach uses synthesis estimation techniques to quantitatively evaluate alternate designs for a loop nest computation. We have implemented this design space exploration algorithm in the context of a compilation and synthesis system called DEFACTO, and present results of this implementation on five multimedia kernels. Our algorithm derives an implementation that closely matches the performance of the fastest design in the design space, and among implementations with comparable performance, selects the smallest design. We search on average only 0.3% of the design space. This technology thus significantly raises the level of abstraction fo

关键词： design space exploration data dependence analysis reuse analysis loop transformations

来源：评论

学校读者我要写书评

暂无评论

8th International conference on Object-Oriented Information Systems, OOIS 2002

引用

8th International conference on Object-Oriented Information Systems, OOIS 2002

ISBN: (纸本)9783540440888

The proceedings contain 34 papers. The special focus in this conference is on Object-Oriented Information Systems. The topics include: Reuse in object-oriented information systems design;software reuse with use case patterns;promoting reuse through the capture of system description;a specification-oriented framework for information system user interfaces;the role of pattern languages in the instantiation of object-oriented frameworks;IS components with hyperclasses;Collaborative simulation by reuse of COTS simulators with a reflexive XML middleware1;efficient web-based information systems;semantic integration and query optimization of heterogeneous data sources*: (Invited Paper);“Real World” as an argument for covariant specialization in programming and modeling;extracting information from semi-structured web documents;object-oriented mediator queries to internet search engines;Warp-edge optimization in XPath;A caching system for web content generated from XML sources using XSLT;finding similar queries to satisfy searches based on query traces;WOnDA: An extensible multi-platform hypermedia design model;model-driven approaches to software development;executable and symbolic conformance tests for implementation models (position paper);object-oriented theories for model driven architecture;systems engineering foundations of software systems integration;maintaining class membership information;Using the model paradigm for real-time systems development: ACCORD/UML;generating enterprise applications from models;tool support for aspect-oriented design;model-driven architecture;model-based development of embedded systems;hierarchies in object oriented conceptual modeling;specialization/generalization in object-oriented analysis: Strengthening and multiple partitioning;towards a new role paradigm for object-oriented modeling;analysing object-oriented application frameworks using concept analysis;using both specialisation and generalisation in a programming language: Why and

关键词：

来源：评论

学校读者我要写书评

暂无评论

1st International conference on Web-Based Learning, ICWL 2002

引用

1st International conference on Web-Based Learning, ICWL 2002

ISBN: (纸本)3540440410

The proceedings contain 35 papers. The special focus in this conference is on System Modeling, Architecture, Distance Learning System Engineering, Collaborative Systems and Experiences in Distance Learning. The topics include: An open framework for smart and personalized distance learning;a metadata framework for description of learning objects;a web-based motivation-supporting model for effective teaching-learning;the design and implementation of a web-based teaching-learning model for information communication technology application education;on analysis and modeling of student browsing behavior in web-based asynchronous learning environments;conceptual network based courseware navigation and web presentation mechanisms;web-based knowledge-based system on liquid retaining structure design as instructional tool;creating a revolutionary real-time interactive distance learning system;critical success factors for web-based organizational IT training systems;application of quality assurance in web-based laboratories;an educational community using collaborative virtual environments;a component-based architecture for adaptive, collaborative web-based learning;virtual programming lab for online distance learning;experiences in running a flexible, web-based, and self-paced course;virtual teaching and learning based on multimedia techniques;experiences in developing a large-scale school IT project;a web-based lecture video database system with flexible indexing method using action logs;design and evaluation of lecture support functions for question databases;web-based video indexing and retrieval for teaching and learning;multimedia knowledge exploitation for E-learning and web-based interactive 3D visualization for computer graphics education.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A UML-based aspect-oriented design notation for AspectJ 02

A UML-based aspect-oriented design notation for AspectJ

引用

proceedings of the 1st international conference on Aspect-oriented software development

作者： Dominik Stein Stefan Hanenberg Rainer Unland University of Essen Germany

ISBN: (纸本)9781581134698

AspectJ is a well-established programming language for the implementation of aspect-oriented programs. It supports the aspect-oriented programming paradigm by providing a special unit, called "aspect", which encapsulates crosscutting code. While with AspectJ a suitable aspect-oriented programming language is at hand, no feasible modeling language is available that supports the design of AspectJ programs. In this work, such a design notation for AspectJ programs is presented based on the UML. It provides representations for all language constructs in AspectJ and specifies an UML implementation of AspectJ's weaving mechanism. The design notation eases the perception of aspect-orientation and AspectJ programs. It carries over the advantages of aspect-orientation to the design level.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：