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

acm SIGMOD International conference on Management of Data

作者： Aref, Molham ten Cate, Balder Green, Todd J. Kimelfeld, Benny Olteanu, Dan Pasalic, Emir Veldhuizen, Todd L. Washburn, Geoffrey LogicBlox Inc Atlanta GA 30309 USA

ISBN: (纸本)9781450327589

The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a "self-service" model. Our perspective in this area is informed by over twenty years of experience building dozens of missioncritical enterprise applications that are in use by hundreds of large enterprises across industries such as retail, telecommunications, banking, and government. We designed and built LogicBlox to be the system we wished we had when developing those applications. In this paper, we discuss the design considerations behind the LogicBlox system and give an overview of its implementation, highlighting innovative aspects. These include: LogiQL, a unified and declarative language based on Datalog;the use of purely functional data structures;novel join processing strategies;advanced incremental maintenance and live programming facilities;a novel concurrency control scheme;and built-in support for prescriptive and predictive analytics.

关键词： LogicBlox LogiQL Datalog Leapfrog Triejoin Incremental Maintenance Transaction Repair Live programming Predictive Analytics

来源：评论

学校读者我要写书评

暂无评论

Connecting object constraints with context-oriented programming: Scoping constraints with layers and activating layers with constraints

Connecting object constraints with context-oriented programm...

引用

International Workshop on Context-Oriented programming, COP 2015

作者： Lehmann, Stefan Felgentreff, Tim Hirschfeld, Robert Hasso Plattner Institute University of Potsdam Germany

ISBN: (纸本)9781450336543

Context-oriented programming extends object-oriented languages with a mechanism to dynamically adapt behavior. Object Constraint programming orthogonally extends object-oriented run-times by integrating constraints, including support for constraints over mutable state, object identity, and the results of message sends. Using these two language extensions in conjunctions offers interesting opportunities. In this paper, we report on new mechanisms involving layers and constraints that evolved from our experiences with combining Babelsberg/JS, an Object Constraint language, and ContextJS, an implementation of Context-oriented programming in JavaScript. First, our experience shows that it is desirable to dynamically adapt declarative constraints, which offer an orthogonal mechanism to the definition of imperative behavior, likewise at runtime. In this work, we show an extension to ContextJS to scope activation or refinement of constraints dynamically using layers. Second, ContextJS already provides different activation mechanisms for layers, including dynamically or structurally scoped, or globally through system generated events. Constraints provide an activation mechanism based on arbitrary boolean expressions changing their value, allowing for interesting applications of behavioral adaption based on certain conditions.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties

引用

acm sigplan NOTICES 2015年第10期50卷 520-534页

作者： Feng, Yu Wang, Xinyu Dillig, Isil Lin, Calvin Univ Texas Austin Austin TX 78712 USA

This paper describes a general framework-and its implementation in a tool called EXPLORER-for statically answering a class of interprocedural control flow queries about Java programs. EXPLORER allows users to formulate queries about feasible callstack configurations using regular expressions, and it employs a precise, demand-driven algorithm for answering such queries. Specifically, EXPLORER constructs an automaton A that is iteratively refined until either the language accepted by A is empty (meaning that the query has been refuted) or until no further refinement is possible based on a precise, context-sensitive abstraction of the program. We evaluate EXPLORER by applying it to three different program analysis tasks, namely, (1) analysis of the observer design pattern in Java, (2) identification of a class of performance bugs, and (3) analysis of inter-component communication in Android applications. Our evaluation shows that EXPLORER is both efficient and precise.

关键词： Algorithms languages Program analysis Demand-driven analysis points-to analysis query language control flow properties

来源：评论

学校读者我要写书评

暂无评论

Mirrors: design Principles for Meta-level Facilities of Object-Oriented programming languages

引用

acm sigplan NOTICES 2015年第8期50卷 35-48页

作者： Bracha, Gilad Ungar, David Sun Microsyst 4140 Network Circle Santa Clara CA 95054 USA Sun Microsyst Mountain View CA 94043 USA

We identify three design principles for reflection and metaprogramming facilities in object oriented programming languages. Encapsulation: meta-level facilities must encapsulate their implementation. Stratification: meta-level facilities must be separated from base-level functionality. Ontological correspondence: the ontology of meta-level facilities should correspond to the ontology of the language they manipulate. Traditional/mainstream reflective architectures do not follow these precepts. In contrast, reflective APIs built around the concept of mirrors are characterized by adherence to these three principles. Consequently, mirror-based architectures have significant advantages with respect to distribution, deployment and general purpose metaprogramming.

关键词： design languages Reflection Metaprogramming Mirrors Java Self Smalltalk

来源：评论

学校读者我要写书评

暂无评论

Choosy and picky: Configuration of language product lines 15

Choosy and picky: Configuration of language product lines

引用

19th International Software Product Line conference, SPLC 2015

作者： Kühn, Thomas Cazzola, Walter Olivares, Diego Mathias Software Technology Group Technische Universität Dresden Germany Computer Science Department Università degli Studi di Milano Germany

ISBN: (纸本)9781450336130

Although most programming languages naturally share several language features, they are typically implemented as a monolithic product. language features cannot be plugged and unplugged from a language and reused in another language. Some modular approaches to language construction do exist but composing language features requires a deep understanding of its implementation hampering their use. The choose and pick approach from software product lines provides an easy way to compose a language out of a set of language features. However, current approaches to language product lines are not sufficient enough to cope with the complexity and evolution of real world programming languages. In this work, we propose a general light-weight bottom-up approach to automatically extract a feature model from a set of tagged language components. We applied this approach to the Neverlang language development framework and developed the AiDE tool to guide language developers towards a valid language composition. The approach has been evaluated on a decomposed version of Javascript to highlight the benefits of such a language product line. © 2015 acm.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Remote-Scope Promotion: Clarified, Rectified, and Verified

引用

acm sigplan NOTICES 2015年第10期50卷 731-747页

作者： Wickerson, John Batty, Mark Beckmann, Bradford M. Donaldson, Alastair F. Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England Univ Kent Canterbury CT2 7NZ Kent England Adv Micro Devices Inc Sunnyvale CA 94088 USA

Modern accelerator programming frameworks, such as OpenCL (TM), organise threads into work-groups. Remote-scope promotion (RSP) is a language extension recently proposed by AMD researchers that is designed to enable applications, for the first time, both to optimise for the common case of intra-work-group communication (using memory scopes to provide consistency only within a work-group) and to allow occasional inter-work-group communication (as required, for instance, to support the popular load-balancing idiom of work stealing). We present the first formal, axiomatic memory model of OpenCL extended with RSP. We have extended the HERD memory model simulator with support for OpenCL kernels that exploit RSP, and used it to discover bugs in several litmus tests and a work-stealing queue, that have been used previously in the study of RSP. We have also formalised the proposed GPU implementation of RSP. The formalisation process allowed us to identify bugs in the description of RSP that could result in well-synchronised programs experiencing memory inconsistencies. We present and prove sound a new implementation of RSP that incorporates bug fixes and requires less non-standard hardware than the original implementation. This work, a collaboration between academia and industry, clearly demonstrates how, when designing hardware support for a new concurrent language feature, the early application of formal tools and techniques can help to prevent errors, such as those we have found, from making it into silicon.

关键词： Formal methods graphics processing unit (GPU) Isabelle OpenCL programming language implementation weak memory models work stealing

来源：评论

学校读者我要写书评

暂无评论

implementation of real-time WiFi receiver in Ziria, language for rapid prototyping of wireless PHY 21

Implementation of real-time WiFi receiver in Ziria, language...

引用

21st Annual International conference on Mobile Computing and Networking, MobiCom 2015

作者： Stewart, Gordon Gowda, Mahanth Mainland, Geoffrey Radunović, Božidar Vytiniotis, Dimitrios Ohio University United States UIUC United States Drexel United States Microsoft Research United States

ISBN: (纸本)9781450336192

Software-defined radios (SDR) have the potential to bring major innovation in wireless networking design. However, their impact so far has been limited due to complex programming tools. Most of the existing tools are either too slow to achieve the full line speeds of contemporary wireless PHYs or are too complex to master. In this demo we present our novel SDR programming environment called Ziria. Ziria consists of a novel programming language and an optimizing compiler. The compiler is able to synthesize very efficient SDR code from high-level PHY descriptions written in Ziria language. To illustrate its potential, we present the design of an LTE-like PHY layer in Ziria. We run it on the Sora SDR platform and demonstrate on a test-bed that it is able to operate in real-time.

关键词： Software radio

来源：评论

学校读者我要写书评

暂无评论

Demo: Quasar - A new programming framework for real-time image/video processing on GPU and CPU 9

Demo: Quasar - A new programming framework for real-time ima...

引用

9th International conference on Distributed Smart Cameras, ICDSC 2015

作者： Goossens, Bart De Vylder, Jonas Donné, Simon Philips, Wilfried Ghent University TELIN/IPI/iMinds Sint-Pietersnieuwstraat 41 GhentB-9000 Belgium

ISBN: (纸本)9781450336819

In this demonstration, we present a new programming framework, Quasar, for heterogeneous programming on CPU and single/multi-GPU. Our programming framework consists of a high-level language that is aimed at relieving the programmer from hardware-related implementation issues that commonly occur in CPU/GPU programming, allowing the programmer to focus on the specification, the design, testing and the improvement of the algorithms. We will demonstrate a real-time multi-camera processing application using our integrated development environment (IDE). The IDE offers various image/video processing-related debugging functions and performance profiling features. © 2015 Copyright held by the owner/author(s).

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

acm International conference Proceeding Series

ACM International Conference Proceeding Series

引用

11th Central and Eastern European Software Engineering conference in Russia, CEE-SECR 2015

ISBN: (纸本)9781450341301

The proceedings contain 11 papers. The topics discussed include: securing outsourced database: architecture for protected web resource;implementation of request switch in PleskFS file system;automatic request analyzer for QoS enabled storage system;aspect markup of a source code for quick navigating a project;on development of static analysis tools for string-embedded languages;some aspects of a modern common-purpose programming language design;CPU utilization prediction methods overview;discovering clones in software: from complex algorithms to everyday desktop tool;justification of the choice of neural networks learning algorithms for indoor mobile positioning;BDD by example: Russian Bylina written in gherkin language;and usage of design patterns as a kind of components of software architecture.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Checks and Balances Constraint Solving without Surprises in Object-Constraint programming languages

引用

acm sigplan NOTICES 2015年第10期50卷 767-782页

作者： Felgentreff, Tim Millstein, Todd Borning, Alan Hirschfeld, Robert Viewpoints Res Inst CDG SAP Labs Potsdam Germany Hasso Plattner Inst Potsdam Germany Univ Calif Los Angeles Los Angeles CA USA Univ Washington Seattle WA 98195 USA

Object-constraint programming systems integrate declarative constraint solving with imperative, object-oriented languages, seamlessly providing the power of both paradigms. However, experience with object-constraint systems has shown that giving too much power to the constraint solver opens up the potential for solutions that are surprising and unintended as well as for complex interactions between constraints and imperative code. On the other hand, systems that overly limit the power of the solver, for example by disallowing constraints involving mutable objects, object identity, or polymorphic message sends, run the risk of excluding the core object-oriented features of the language from the constraint part, and consequently not being able to express declaratively a large set of interesting problem solutions. In this paper we present design principles that tame the power of the constraint solver in object-constraint languages to avoid difficult corner cases and surprising solutions while retaining the key features of the approach, including constraints over mutable objects, constraints involving object identity, and constraints on the results of message sends. We present our solution concretely in the context of the Babelsberg object-constraint language framework, providing both an informal description of the resulting language and a formal semantics for a core subset of it. We validate the utility of this semantics with an executable version that allows us to run test programs and to verify that they provide the same results as existing implementations of Babelsberg in JavaScript, Ruby, and Smalltalk.

关键词： Constraints Object-Constraint programming Constraint Imperative programming Executable Semantics Test Suites

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：