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

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

作者： Gary T. Leavens Todd D. Millstein Department of Computer Science Iowa State University 229 Atanasoff Hall Ames Iowa Department of Computer Science and Engineering University of Washington Box 352350 Seattle WA

ISBN: (纸本)9781581130058

Many popular object-oriented programming languages, such as C++, Smalltalk-80, Java, and Eiffel, do not support multiple dispatch. Yet without multiple dispatch, programmers find it difficult to express binary methods and design patterns such as the "visitor" pattern. We describe a new, simple, and orthogonal way to add multimethods to single-dispatch object-oriented languages, without affecting existing code. The new mechanism also clarifies many differences between single and multiple dispatch.

关键词： tuple single dispatch multimethods multiple dispatch semantics generic functions typing language design binary methods

来源：评论

学校读者我要写书评

暂无评论

Adding type parameterization to the Java language 97

Adding type parameterization to the Java language

引用

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

作者： Ole Agesen Stephen N. Freund John C. Mitchell Sun Microsystems Laboratories 2 Elizabeth Drive Chelmsford MA Department of Computer Science Stanford University Stanford CA

ISBN: (纸本)9780897919081

Although the Java programming language has achieved widespread acceptance, one feature that seems sorely missed is the ability to use type parameters (as in Ada generics, C++ templates, and ML polymorphic functions or data types) to allow a general concept to be instantiated to one or more specific types. In this paper, we propose parameterized classes and interfaces in which the type parameter may be constrained to either implement a given interface or extend a given class. This design allows the body of a parameterized class to refer to methods on objects of the parameter type, without introducing any new type relations into the language. We show that these Java extensions may be implemented by expanding parameterized classes at class load time, without any extension or modification to existing Java bytecode, verifier or bytecode interpreter.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Cephalopode: A custom processor aimed at functional language execution for IoT devices.

Cephalopode: A custom processor aimed at functional language...

引用

acm and IEEE International conference on Formal Methods and Models for Co-design (MEMOCODE)

作者： Jeremy Pope Jules Saget Carl-Johan H. Seger Chalmers University of Technology Gothenburg Sweden École Normale Supérieure Paris France

ISBN: (数字)9781728191485

ISBN: (纸本)9781728191492

The Internet of Things (IoT) conceives a future where "things" are interconnected by means of suitable information and communication technologies. Unfortunately, recent events have demonstrated the high vulnerability of IoT. One of the main reasons for this is the use of low-level programming languages. The Octopi project is developing technologies to easily and securely program IoT devices by the use of functional high-level languages. Unfortunately, a traditional implementation of a modern functional language that runs on traditional hardware is very resource demanding. So resource demanding that few, if any, IoT devices can run *** the Cephalopode project (which is a subproject of Octopi) we are exploring the implementation of a very low power hardware device directly aimed at running a high-level functional language. By integrating many resource-heavy tasks into dedicated hardware, we aim at creating an execution engine for IoT devices that will allow secure programming.

关键词： Hardware Engines Security Computer architecture Software Internet of Things High level languages

来源：评论

学校读者我要写书评

暂无评论

HIGH-LEVEL APPROACH TO COMPUTER DOCUMENT FORMATTING.

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

引用

conference Record of the Annual acm Symposium on Principles of programming languages 1980年 24-31页

作者： Reid, Brian K.

The document-formatting language Scribe was designed to provide a simple, portable language in which document formatting could be specified;the Scribe compiler was written to process that language into finished documents. A description is given the design goals, the implementation, and experience with the complete system is reported.

关键词： COMPUTER programming languageS

来源：评论

学校读者我要写书评

暂无评论

acm '76 - PROCEEDINGS OF THE ANNUAL conference.

引用

1976年

作者： Anon

This symposium, held in Houston, Texas from October 20 to 22, 1976 contains 105 papers. Topics covered include: Theoretical results in compiler design and implementation; Computer system and network architecture; Recent developments in natural language understanding; Multinational information systems; Data base security; computers in medicine; Computer science education; Based learning and communication environments; Algorithm engineering; Computer architecture; Operating systems for minicomputers; Minicomputer and microcomputer applications; Data base systems organization and optimization; Operating system design; programming languages and their processors; Standardization in simulation; and Program testing.

关键词： COMPUTERS

来源：评论

学校读者我要写书评

暂无评论

A methodology for the design of application specific instruction set processors (ASIP) using the machine description language LISA 01

A methodology for the design of application specific instruc...

引用

IEEE International conference on Computer-Aided design

作者： A. Hoffmann O. Schliebusch A. Nohl G. Braun O. Wahlen H. Meyr Integrated Signal Processing Systems RWTH Aachen Germany

ISBN: (纸本)9780780372498

The development of application specific instruction set processors (ASIP) is currently the exclusive domain of the semiconductor houses and core vendors. This is due to the fact that building such an architecture is a difficult task that requires expert knowledge in different domains: application software development tools, processor hardware implementation, and system integration and verification. This paper presents a retargetable framework for ASIP design which is based on machine descriptions in the LISA language. From that, software development tools can be automatically generated including HLL C-compiler, assembler, linker, simulator and debugger frontend. Moreover, synthesizable HDL code can be derived which can then be processed by standard synthesis tools. implementation results for a low-power ASIP for DVB-T acquisition and tracking algorithms designed with the presented methodology are given.

关键词： design methodology Application software Application specific processors Buildings Computer architecture programming Assembly Hardware design languages Code standards Digital video broadcasting

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Incremental analysis of real programming languages 97

Incremental analysis of real programming languages

引用

Proceedings of the acm sigplan 1997 conference on programming language design and implementation

作者： Tim A. Wagner Susan L. Graham University of California Berkeley

ISBN: (纸本)9780897919074

A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequate; in particular, LR(k) grammars are unable to describe the natural syntax of many languages, such as C++ and Fortran, which are inherently non-deterministic. designers of batch compilers work around such limitations by combining generated components with ad hoc techniques (for instance, performing partial type and scope analysis in tandem with parsing). Unfortunately, the complexity of incremental systems precludes the use of batch solutions. The inability to generate incremental tools for important languages inhibits the widespread use of language-rich interactive *** address this problem by extending the language model itself, introducing a program representation based on parse dags that is suitable for both batch and incremental analysis. Ambiguities unresolved by one stage are retained in this representation until further stages can complete the analysis, even if the reaolution depends on further actions by the user. Representing ambiguity explicitly increases the number and variety of languages that can be analyzed incrementally using existing *** create this representation, we have developed an efficient incremental parser for general context-free grammars. Our algorithm combines Tomita's generalized LR parser with reuse of entire subtrees via state-matching. Disambiguation can occur statically, during or after parsing, or during semantic analysis (using existing incremental techniques); program errors that preclude disambiguation retsin multiple interpretations indefinitely. Our representation and analyses gain efficiency by exploiting the local nature of ambiguities: for the SPEC95 C programs, the explicit representation of ambiguity requires only 0.5% additional space and less than 1% additional time during reconstruction.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Cayenne—a language with dependent types 98

Cayenne—a language with dependent types

引用

Proceedings of the third acm sigplan international conference on Functional programming

作者： Lennart Augustsson Department of Computing Sciences Chalmers University of Technology S-412 96 Göteborg Sweden

ISBN: (纸本)9781581130249

Cayenne is a Haskell-like language. The main difference between Haskell and Cayenne is that Cayenne has dependent types, i.e., the result type of a function may depend on the argument value, and types of record components (which can be types or values) may depend on other components. Cayenne also combines the syntactic categories for value expressions and type expressions; thus reducing the number of language *** dependent types and combined type and value expressions makes the language very powerful. It is powerful enough that a special module concept is unnecessary; ordinary records suffice. It is also powerful enough to encode predicate logic at the type level, allowing types to be used as specifications of programs. However, this power comes at a cost: type checking of Cayenne is undecidable. While this may appear to be a steep price to pay, it seems to work well in practice.

关键词： dependent types language design type systems module systems

来源：评论

学校读者我要写书评

暂无评论

Incrementalization across object abstraction 05

Incrementalization across object abstraction

引用

Proceedings of the 20th annual acm sigplan conference on Object-oriented programming, systems, languages, and applications

作者： Yanhong A. Liu Scott D. Stoller Michael Gorbovitski Tom Rothamel Yanni Ellen Liu State University of New York at Stony Brook Stony Brook NY University of Manitoba Winnipeg MB Canada

ISBN: (纸本)9781595930316

Object abstraction supports the separation of what operations are provided by systems and components from how the operations are implemented, and is essential in enabling the construction of complex systems from components. Unfortunately, clear and modular implementations have poor performance when expensive query operations are repeated, while efficient implementations that incrementally maintain these query results are much more difficult to develop and to understand, because the code blows up significantly, and is no longer clear or *** paper describes a powerful and systematic method that first allows the "what" of each component to be specified in a clear and modular fashion and implemented straightforwardly in an object-oriented language; then analyzes the queries and updates, across object abstraction, in the straightforward implementation; and finally derives the sophisticated and efficient "how" of each component by incrementally maintaining the results of repeated expensive queries with respect to updates to their parameters. Our implementation and experimental results for example applications in query optimization, role-based access control, etc. demonstrate the effectiveness and benefit of the method.

关键词： program analysis design invariants program optimization incrementalization object-oriented abstraction program transformation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：