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

proceedings of the 2013 International Conference on principles and practices of programming on the java platform: Virtual Machines, Languages, and Tools, PPPJ 2013

Proceedings of the 2013 International Conference on Principl...

引用

2013 10th International Conference on principles and practices of programming on the java platform: Virtual Machines, Languages, and Tools, PPPJ 2013

ISBN: (纸本)9781450321112

The proceedings contain 21 papers. The topics discussed include: deriving code coverage information from profiling data recorded for a trace-based just-in-time compiler;TAE-JS: automated enhancement of javaScript programs by leveraging the java annotations infrastructure;cross-compiling java to javaScript via tool-chaining;an efficient native function interface for java;OCaml-java: an ML implementation for the java ecosystem;an adapter-aware, non-intrusive dependency injection framework for java;Hyflow2: a high performance distributed transactional memory framework in Scala;efficient interpreter optimizations for the JVM;accelerating Habanero-java programs with OpenCL generation;an artificial intelligence for the board game 'Quarto!' in java;Golo, a dynamic, light and efficient language for post-invoked dynamic JVM;exploiting slicing and patterns for RTSJ immortal memory optimization;and JNICodejail - native code isolation for java programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An assembler and disassembler framework for java™ programmers

引用

SCIENCE OF COMPUTER programming 2008年第2-3期70卷 127-148页

作者： Mathiske, Bernd Simon, Doug Ungar, Dave Sun Microsyst Lab Menlo Pk CA 94025 USA

The java (TM) programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platform-specific functions, such as the generation of machine code. We have created reliable assemblers for SPARC (TM), AMD64, IA32 and PowerPC which support all user mode and privileged instructions and with 64 bit mode support for all but the latter. These assemblers are generated as java source code by our extensible assembler framework, which itself is written in the java language. The assembler generator also produces javadoc comments that precisely specify the legal values for each operand. Our design is based on the Klein Assembler System written in Self. Assemblers are generated from a specification, as are table-driven disassemblers and unit tests. The specifications that drive the generators are expressed as java language objects. Thus no extra parsers are needed and developers do not need to learn any new syntax to extend the framework for additional ISAs. Every generated assembler is tested against a preexisting assembler by comparing the output of both. Each instruction's test cases are derived from the cross product of its potential operand values. The majority of tests are positive (i.e., result in a legal instruction encoding). The framework also generates negative tests, which are expected to cause an error detection by an assembler. As with the Klein Assembler,System, we have found bugs in the external assemblers as well as in ISA reference manuals. Our framework generates lens of millions of tests. For symbolic operands, our tests include all applicable predefined constants. For integral operands, the important boundary values, such as the respective minimum, maximum, 0, 1 and -1, are tested. Full testing can take hours to run but gives us a high degree of confidence regarding correctness. (C) 2007 Sun Microsystems Inc. Published by Elsevier B.V. All rights reserved.

关键词： cross assembler assembler generator disassembler automated testing the java language domain-specific framework systems programming

来源：评论

学校读者我要写书评

暂无评论

Generic traits for the java platform 14

Generic traits for the Java platform

引用

PPPJ '14: proceedings of the 2014 International Conference on principles and practices of programming on the java platform: Virtual machines, Languages, and Tools

作者： Bettini, Lorenzo Damiani, Ferruccio University of Torino Italy

ISBN: (纸本)9781450330640

A trait is a set of methods that is independent from any class hierarchy and can be flexibly used to build other traits or classes by means of a suite of composition operations. Traits were proposed as a mechanism for fine-grained code reuse to overcome many limitations of class-based inheritance. In this paper we present the extended version of XTRAITJ, a trait-based programming language that features complete compatibility and interoperability with the java platform. XTRAITJ provides a full Eclipse IDE that aims to support an incremental adoption of traits in existing java projects. This new version fully supports java generics: traits can have type parameters just like in java, so that they can completely interoperate with any existing java library. Furthermore, XTRAITJ now supports java annotations, so that it can integrate with frameworks like JUNIT 4. Copyright © 2014 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Trait-oriented programming in java 8 ∗ 14

Trait-oriented programming in Java 8 ∗

引用

PPPJ '14: proceedings of the 2014 International Conference on principles and practices of programming on the java platform: Virtual machines, Languages, and Tools

作者： Bono, Viviana Mensa, Enrico Naddeo, Marco University of Torino Italy

ISBN: (纸本)9781450330640

java 8 was released recently. Along with lambda expressions, a new language construct is introduced: default methods in interfaces. The intent of this feature is to allow interfaces to be extended over time preserving backward compatibility. In this paper, we show a possible, different use of these interfaces: we introduce a trait-oriented programming style based on an interface-as-trait idea, with the aim of improving code modularity. Starting from the most common operators on traits, we introduce some programming patterns mimicking such operators and discuss this approach. Copyright © 2014 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Implementing agent roles in java 7

Implementing agent roles in Java

引用

PPPJ '14: proceedings of the 2014 International Conference on principles and practices of programming on the java platform: Virtual machines, Languages, and Tools

作者： Cabri, Giacomo Università degli Studi di Modena e Reggio Emilia Modena Italy

ISBN: (纸本)9781450330640

Roles represent a powerful means to enable software agents to act in open environments. They can be implemented in different ways, and in this talk I will show two directions exploiting java. The former one is quite traditional and exploits composition;the latter one adds the capabilities of roles to agents' classes in form of injected bytecode. I will compare the two approaches trying to generalize the considerations. Copyright © 2014 ACM.

关键词： Software agents

来源：评论

学校读者我要写书评

暂无评论

Habanero-java library: A java 8 framework for multicore programming 14

Habanero-Java library: A Java 8 framework for multicore prog...

引用

PPPJ '14: proceedings of the 2014 International Conference on principles and practices of programming on the java platform: Virtual machines, Languages, and Tools

作者： Imam, Shams Sarkar, Vivek Rice University United States

ISBN: (纸本)9781450330640

With the advent of the multicore era, it is clear that future growth in application performance will primarily come from increased parallelism. We believe parallelism should be introduced early into the Computer Science curriculum to educate students on the fundamentals of parallel computation. In this paper, we introduce the newly-created Habanero-java library (HJlib), a pure java 8 library implementation of the pedagogic parallel programming model. HJlib has been used in teaching a sophomore-level course titled "Fundamentals of Parallel programming" at Rice University. HJlib adds to the java ecosystem a powerful and portable task parallel programming model that can be used to parallelize both regular and irregular applications. By relying on simple orthogonal parallel constructs with important safety properties, HJlib allows programmers with a basic knowledge of java to get started with parallel programming concepts by writing or refactoring applications to harness the power of multicore architecture. The HJlib APIs make extensive use of lambda expressions and can run on any java 8 JVM. HJlib runtime feedback capabilities, such as the abstract execution metrics and the deadlock detector, help the programmer to obtain feedback on theoretical performance as well as the presence of potential bugs in their program. Being an implementation of a pedagogic programming model, HJlib is also an attractive tool for both educators and researchers. HJlib is actively being used in multiple research projects at Rice and also by external independent collaborators. These projects include exploitation of homogeneous and heterogeneous multicore parallelism in big data applications written for the Hadoop platform. Copyright © 2014 ACM.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Pointer and escape analysis for multithreaded programs 01

Pointer and escape analysis for multithreaded programs

引用

8th ACM SIGPLAN Symposium on the principles and Practice of Parallel Computing

作者： Salcianu, A Rinard, M MIT Comp Sci Lab Cambridge MA 02139 USA

ISBN: (纸本)9781581133462

This paper presents a new combined pointer and escape analysis for multithreaded programs. The algorithm uses a new abstraction called parallel interaction graphs to analyze the interactions between threads and extract precise points-to, escape, and action ordering information for objects accessed by multiple threads. The analysis is compositional, analyzing each method or thread once to extract a parameterized analysis result that can be specialized for use in any context. It is also capable of analyzing programs. that use the unstructured form of multithreading present in languages such as java and standard threads packages such as POSIX threads. We have implemented the analysis in the MIT Flex compiler for java and used the extracted information to 1) verify that programs correctly use region-based allocation constructs, 2) eliminate dynamic checks associated with the use of regions, and 3) eliminate unnecessary synchronization. Our experimental results show that analyzing the interactions between threads significantly increases the effectiveness of the region analysis and region check elimination, but has little effect for synchronization elimination.

关键词： THREADS Multithreading java java programming language Pointer Unix operating system Escape Analysis

来源：评论

学校读者我要写书评

暂无评论

Feel different on the java platform: The star programming language 13

Feel different on the Java platform: The star programming la...

引用

2013 10th International Conference on principles and practices of programming on the java platform: Virtual Machines, Languages, and Tools, PPPJ 2013

作者： McCabe, Frank Sperber, Michael Starview Inc. United States Active Group GmbH United States

ISBN: (纸本)9781450321112

Star is a functional, multi-paradigm and extensible programming language that runs on the java platform. Starview Inc developed the language as an integral part of the Starview Enterprise platform, a framework for real-time business applications such as factory scheduling and data analytics. Star borrows from many languages, with obvious heritage from Haskell, ML, and April, but also contains new approaches to some design aspects, such as syntax and syntactic extensibility, actors, and queries. Its texture is quite different from that of other languages on the java platform. Despite this, the learning curve for java programmers is surprisingly shallow. The combination of a powerful type system (which includes type inference, constrained polymorphism, and existentials) and syntactic extensibility make the Star well-suited to producing embedded domain-specific languages. This paper gives an overview of the language, and reports on some aspects of its design process, on our experience on using it in industrial projects, and on our experience implementing Star on the java platform. Copyright © 2013 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Pure trait-based programming on the java platform 13

Pure trait-based programming on the Java platform

引用

2013 10th International Conference on principles and practices of programming on the java platform: Virtual Machines, Languages, and Tools, PPPJ 2013

作者： Bettini, Lorenzo Damiani, Ferruccio University of Torino Italy

ISBN: (纸本)9781450321112

Traits provide a mechanism for fine-grained code reuse to overcome the limitations of class-based inheritance. A trait is a set of methods which is completely independent from any class hierarchy and can be flexibly used to build other traits or classes by means of a suite of composition operations. We present: (i) a formulation of traits which aims to achieve complete compatibility and interoperability with the java platform without reducing the flexibility of traits, and (ii) an integration with Eclipse which aims to support an incremental adoption of traits in existing java projects. Indeed, the proposed trait language can coexist with java code. Single parts of a project can be refactored to use traits, without requiring a complete rewrite of the whole existing code-base. Copyright © 2013 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

DeltaJ 1.5: Delta-oriented programming for java 1.5 14

DeltaJ 1.5: Delta-oriented programming for Java 1.5

引用

PPPJ '14: proceedings of the 2014 International Conference on principles and practices of programming on the java platform: Virtual machines, Languages, and Tools

作者： Koscielny, Jonathan Holthusen, Sönke Schaefer, Ina Schulze, Sandro Bettini, Lorenzo Damiani, Ferruccio Institut für Softwaretechnik und Fahrzeuginformatik Technische Universität Braunschweig Germany Dipartimento di Informatica Università degli Studi di Torino Italy

ISBN: (纸本)9781450330640

Delta-oriented programming (DOP) is a modular, yet flexible approach to implement software product lines. In DOP, a product line is implemented by a set of deltas, which are containers of modifications to a program. A delta-oriented product line is specified by its code base, i.e., the set of delta modules, and a product line declaration specifying the set of possible product variants. In this paper, we present DOP for java 1.5 extending previous proof-of-concept realizations of DOP for simple core java-like languages. The novel prototypical implementation DELTAJ 1.5 provides full integrated access to the object-oriented features of java. The extensions include delta operations to fully integrate the java package system, to declare and modify interfaces, to explicitly change the inheritance hierarchy, to access nested types and enum types, to alter field declarations, and to unambiguously remove overloaded methods. Furthermore, we improve the specification of the product line declaration by providing a separate language. We have evaluated DELTAJ 1.5 using a case study. Copyright © 2014 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：