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

12th International conference on Architectural Support for programming languages and Operating Systems

作者： Solar-Lezama, Armando Bodik, Liviu Tancau Rastislav Saraswat, Vijay Seshia, Sanjit Univ Calif Berkeley Berkeley CA 94720 USA

Sketching is a software synthesis approach where the programmer develops a partial implementation - a sketch - and a separate specification of the desired functionality. The synthesizer then completes the sketch to behave like the specification. The correctness of the synthesized implementation is guaranteed by the compiler, which allows, among other benefits, rapid development of highly tuned implementations without the fear of introducing bugs. We develop SKETCH, a language for finite programs with linguistic support for sketching. Finite programs include many high-performance kernels, including cryptocodes. In contrast to prior synthesizers, which had to be equipped with domain-specific rules, SKETCH completes sketches by means of a combinatorial search based on generalized boolean satisfiability. Consequently, our combinatorial synthesizer is complete for the class of finite programs: it is guaranteed to complete any sketch in theory, and in practice has scaled to realistic programming problems. Freed from domain rules, we can now write sketches as simple-to-understand partial programs, which are regular programs in which difficult code fragments are replaced with holes to be filled by the synthesizer. Holes may stand for index expressions, lookup tables, or bitmasks, but the programmer can easily define new kinds of holes using a single versatile synthesis operator. We have used SKETCH to synthesize an efficient implementation of the AES cipher standard. The synthesizer produces the most complex part of the implementation and runs in about an hour.

关键词： languages design performance sketching SAT

来源：评论

学校读者我要写书评

暂无评论

Tangible programming in the classroom: A practical approach

Tangible programming in the classroom: A practical approach

引用

conference on Human Factors in Computing Systems, CHI EA 2006

作者： Horn, Michael S. Jacob, Robert J.K. Tufts University Computer Science 161 College Ave. Medford MA 02155 United States

ISBN: (纸本)1595932984

This paper introduces Quetzal, a tangible programming language for children to use in educational settings. Quetzal features inexpensive, durable parts with no embedded electronics or power supplies. Children create programs in offline settings-on their desks or on the floor-and carry their programs to a scanning station when they are ready to compile. We argue that a language like Quetzal could offer an appealing and practical alternative to conventional languages for introducing programming concepts in the classroom. This paper discusses the motivations for the Quetzal project and describes the design and implementation of the language. We also outline several key questions that are guiding our research with Quetzal.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Session details: language constructs 06

Session details: Language constructs

引用

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

作者： T. Millstein University of California at Los Angeles

No abstract available.

ISBN: (纸本)9781595933201

No abstract available.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Easy language extension with meta-AspectJ 06

Easy language extension with meta-AspectJ

引用

28th International conference on Software Engineering 2006, ICSE '06

作者： Huang, Shan Shan Smaragdakis, Yannis College of Computing Georgia Institute of Technology Atlanta GA 30332 United States

ISBN: (纸本)1595933751

Domain-specific languages hold the potential of automating the software development process. Nevertheless, the adoption of a domain-specific language is hindered by the difficulty of transitioning to different language syntax and employing a separate translator in the software build process. We present a methodology that simplifies the development and deployment of small language extensions, in the context of Java. The main language design principle is that of language extension through unobtrusive annotations. The main language implementation idea is to express the language as a generator of customized AspectJ aspects, using our Meta-Aspect J tool. The advantages of the approach are twofold. First, the tool integrates into an existing software application much as a regular API or library, instead of as a language extension. This means that the programmer can remove the language extension at any point and choose to implement the required functionality by hand without needing to rewrite the client code. Second, a mature language implementation is easy to achieve with little effort since AspectJ takes care of the low-level issues of interfacing with the base Java language*.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Java™ on the bare metal of wireless sensor devices the squawk java virtual machine

Java™ on the bare metal of wireless sensor devices the squa...

引用

VEE 2006 - 2nd International conference on Virtual Execution Environments

作者： Simon, Doug Cifuentes, Cristina Cleal, Dave Daniels, John White, Derek Sun Microsystems Laboratories 16 Network Drive Menlo Park CA 94025 United States Sun Microsystems Laboratories Level 10 80 Albert Street Brisbane QLD 4000 Australia Syntropy Limited 2 Stambourne Way West Wickham Kent BR4 9NF United Kingdom Sun Microsystems Laboratories One Network Drive Burlington MA 01803 United States

The Squawk virtual machine is a small Java™ virtual machine (VM) written mostly in Java that runs without an operating system on a wireless sensor platform. Squawk translates standard class file into an internal pre-linked, position independent format that is compact and allows for efficient execution of bytecodes that have been placed into a read-only memory. In addition, Squawk implements an application isolation mechanism whereby applications are represented as object and are therefore treated as first class objects (i.e., they can be reified): Application isolation also enables Squawk to run multiple applications at once with all immutable state being shared between the applications. Mutable state is not shared. The combination of these features reduce the memory footprint of the VM, making it ideal for deployment on small devices. Squawk provides a wireless API that allows developers to write applications for wireless sensor networks (WSNs), this API is an extension of the generic connection framework (GCF). Authentication of deployed files on the wireless device and migration of applications between devices is also performed by the VM. This paper describes the design and implementation of the Squawk VM as applied to the Sun™ Small Programmable Object Technology (SPOT) wireless device;a device developed at Sun Microsystems Laboratories for experimentation with wireless sensor and actuator applications.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

JunGL: A scripting language for refactoring

JunGL: A scripting language for refactoring

引用

28th International conference on Software Engineering 2006, ICSE '06

作者： Verbaere, Mathieu Ettinger, Ran De Moor, Oege Programming Tools Group University of Oxford United Kingdom

ISBN: (纸本)1595933751

Refactorings are behaviour-preserving program transformations, typically for improving the structure of existing code. A few of these transformations have been mechanised in interactive development environments. Many more refactorings have been proposed, and it would be desirable for programmers to script their own refactorings. Implementing such source-to-source transformations, however, is quite complex: even the most sophisticated development environments contain significant bugs in their refactoring tools. We present a domain-specific language for refactoring, named JunGL. It manipulates a graph representation of the program: all information about the program, including ASTs for its compilation units, variable binding, control flow and so on is represented in a uniform graph format. The language is a hybrid of a functional language (in the style of ML) and a logic query language (akin to Datalog). JunGL furthermore has a notion of demand-driven evaluation for constructing computed information in the graph, such as control flow edges. Borrowing from earlier work on the specification of compiler optimisations, JunGL uses socalled 'path queries' to express dataflow properties. We motivate the design of JunGL via a number of nontrivial refactorings, and describe its implementation on the .NET platform. Copyright 2006 acm.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

A model transformation semantics and analysis methodology for SecureUML 06

引用

9th International conference on Model Driven Engineering languages and Systems

作者： Brucker, Achim D. Doser, Juergen Wolff, Burkhart ETH CH-8092 Zurich Switzerland

ISBN: (纸本)3540457720

SecureUML is a security modeling language for formalizing access control requirements in a declarative way. It is equipped with a UML notation in terms of a UML profile, and can be combined with arbitrary design modeling languages. We present a semantics for SecureUML in terms of a model transformation to standard UML/OCL. The transformation scheme is used as part of an implementation of a tool chain ranging from front-end visual modeling tools over code-generators to the interactive theorem proving environment HOL-OCL. The methodological consequences for an analysis of the generated OCL formulae are discussed.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Adding open modules to AspectJ 06

Adding open modules to AspectJ

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Ongkingco, Neil Avgustinov, Pavel Tibble, Julian Hendren, Laurie De Moor, Oege Sittampalam, Ganesh Programming Tools Group University of Oxford United Kingdom Sable Research Group McGill University Montreal Canada

ISBN: (纸本)159593300X

AspectJ does not provide a mechanism to hide implementation details from advice. As a result, aspects are tightly coupled to the implementation of the code they advise, while the behaviour of the base code is impossible to determine without analysing all advice that could modify its behaviour. The concept of open modules is proposed by Aldrich to solve the problems that arise from unrestricted advice. Defined for a, small functional language, it provides an encapsulation construct that allows an implementation to limit the set of points to which external advice may apply. We present an adaptation of open modules for AspectJ. We expand open modules to encompass the full set of point-cut primitives for AspectJ, extend its method of module composition to include the ability to open up a module, and describe the implementation of the design as an extension of the AspectBench compiler. We also provide an example of the use of open modules on a substantial AspectJ program to show how it would fit into existing AspectJ projects. Copyright 2006 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Use of C/C++ models for architecture exploration and verification of DSPs

Use of C/C++ models for architecture exploration and verific...

引用

43rd Annual design Automation conference, DAC 2006

作者： Brier, David Mitra, Raj S. Texas Instruments Inc. Dallas TX United States Texas Instruments Inc. Bangalore India

ISBN: (纸本)1595933816

Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural trade-offs that must be made for a practical implementation. The same models can be reused during the verification of the RTL subsequently developed, provided that various "hooks" which are desirable during the verification process are considered while creating these high level models. In addition, consideration must be given to the qualitative content of these high level models to permit an optimal verification flow allowing for compromise between features of the model and the completeness of the verification. Thus, high quality design and verification are achieved by the use of valid models and the valid use of models. In this paper, we describe our approach and show examples from a typical image processing application. Copyright 2006 acm.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Aspectual Caml: an aspect-oriented functional language

引用

acm sigplan NOTICES 2005年第9期40卷 320-330页

作者： Masuhara, H Tatsuzawa, H Yonezawa, A Univ Tokyo Grad Sch Arts & Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan

We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml with two AOP mechanisms similar to those in AspectJ language. This paper describes the design and implementation issues of those AOP mechanisms that give us insights into the interaction between AOP features and common features in strongly-typed functional languages such as type inference, polymorphic types and curried functions. We implemented a prototype compiler of the language and used the language for separating crosscutting concerns in application programs, including for separating descriptions of a type system from compiler descriptions.

关键词： aspect-oriented programming objective Caml pointcut and advice

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：