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

Super 8 languages for Making Movies (Functional Pearl)

proceedings OF THE acm ON programming languageS-PacmPL 2017年第ICFP期1卷 1-29页

作者： Andersen, Leif Chang, Stephen Felleisen, Matthias Northeastern Univ PLT Boston MA 02115 USA

The Racket doctrine tells developers to create languages (as libraries) to narrow the gap between the terminology of a problem domain and general programming constructs. This pearl illustrates this doctrine with the creation of a relatively simple domain-specific language for editing videos. To produce the video proceedings of a conference, for example, video professionals traditionally use "non-linear" GUI editors to manually edit each talk, despite the repetitive nature of the process. As it turns out, the task of video editing naturally splits into a declarative phase and an imperative rendering phase at the end. Hence it is natural to create a functional-declarative language for the first phase, which reduces a lot of manual labor. The implementation of this user-facing DSL, dubbed Video, utilizes a second, internal DSL to implement the second phase, which is an interface to a general, low-level C library. Finally, we inject type checking into our Video language via another DSL that supports programming in the language of type formalisms. In short, the development of the video editing language cleanly demonstrates how the Racket doctrine naturally leads to the creation of language hierarchies, analogous to the hierarchies of modules found in conventional functional languages.

关键词： Domain-Specific language Declarative languages Video Editing Syntax Elaboration language Oriented design Movies Integrated Development Environment

来源：评论

学校读者我要写书评

暂无评论

CHERI JNI: Sinking the Java Security Model into the C 17

CHERI JNI: Sinking the Java Security Model into the C

引用

22nd acm International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)

作者： Chisnall, David Davis, Brooks Gudka, Khilan Brazdil, David Joannou, Alexandre Woodruff, Jonathan Markettos, A. Theodore Maste, J. Edward Norton, Robert Son, Stacey Roe, Michael Moore, Simon W. Neumann, Peter G. Laurie, Ben Watson, Robert N. M. Univ Cambridge Cambridge England SRI Int Menlo Pk CA USA DeepMind Technol Ltd London England

ISBN: (纸本)9781450344654

Java provides security and robustness by building a high-level security model atop the foundation of memory protection. Unfortunately, any native code linked into a Java program - including the million lines used to implement the standard library - is able to bypass both the memory protection and the higher-level policies. We present a hardware-assisted implementation of the Java native code interface, which extends the guarantees required for Java's security model to native code. Our design supports safe direct access to buffers owned by the JVM, including hardware-enforced read-only access where appropriate. We also present Java language syntax to declaratively describe isolated compartments for native code. We show that it is possible to preserve the memory safety and isolation requirements of the Java security model in C code, allowing native code to run in the same process as Java code with the same impact on security as running equivalent Java code. Our approach has a negligible impact on performance, compared with the existing unsafe native code interface. We demonstrate a prototype implementation running on the CHERI microprocessor synthesized in FPGA.

关键词： cheri language security hardware security compartmentalization architecture memory protection java compilers capability systems sandboxing jni

来源：评论

学校读者我要写书评

暂无评论

Generative software product line development using variability-aware design patterns

引用

COMPUTER languageS SYSTEMS & STRUCTURES 2017年 48卷 89-111页

作者： Seidl, Christoph Schuster, Sven Schaefer, Ina Tech Univ Carolo Wilhelmina Braunschweig Braunschweig Germany

Software Product Lines (SPLs) are an approach to reuse in-the-large that models a set of closely related software systems in terms of commonalities and variabilities. design patterns are best practices for addressing recurring design problems in object-oriented source code. In the practice of implementing SPL, instances of certain design patterns are employed to handle variability, which makes these "variability-aware design patterns" a best practice for SPL design. However, currently there is no dedicated method for proactively developing SPLs using design patterns suitable for realizing variable functionality. In this paper, we present a method to perform generative SPL development with design patterns. We use role models to capture design patterns and their relation to a variability model. We further allow mapping of individual design pattern roles to (parts of) implementation elements to be generated (e.g., classes, methods) and check the conformance of the realization with the specification of the pattern. We provide definitions for the variability-aware versions of the design patterns Observer, Strategy, Template Method and Composite. Furthermore, we support generation of realization's in Java, C++ and UML class diagrams utilizing annotative, compositional and transformational variability realization mechanisms. Hence, we support proactive development of SPLs using design patterns to apply best practices for the realization of variability. We realize our concepts within the Eclipse IDE and demonstrate them within a case study. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： SOFTWARE product line engineering COMPUTER software development SOFTWARE patterns REALIZATION (Linguistics) JAVA (Computer program language) C++ (Computer program language)

来源：评论

学校读者我要写书评

暂无评论

proceedings of the acm sigplan conference on programming language design and implementation (PLDI)

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

3rd acm sigplan International Workshop on the State of the Art in Java Program Analysis, SOAP 2014 - Co-located with PLDI 2014

The proceedings contain 5 papers. The topics discussed include: TS4J: a fluent interface for defining and computing typestate analyses;a software product line for static analyses;dynamic slicing with soot;explicit and symbolic techniques for fast and scalable points-to analysis;and android taint flow analysis for app sets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PLDI 2014 - proceedings of the 2014 acm sigplan conference on programming language design and implementation

PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference o...

引用

35th acm sigplan conference on programming language design and implementation, PLDI 2014

ISBN: (纸本)9781450327848

The proceedings contain 56 papers. The topics discussed include: test-driven repair of data races in structured parallel programs;atomicity refinement for verified compilation;herding cats: modeling, simulation, testing, and data-mining for weak memory;stochastic optimization of floating-point programs using tunable precision;a framework for enhancing data reuse via associative reordering;first-class runtime generation of high-performance types using exotypes;optimal inference of fields in row-polymorphic records;expressing and verifying probabilistic assertions;compositional solution space quantification for probabilistic software analysis;slicing probabilistic programs;adaptive, efficient parallel execution of parallel programs differentiation;globally precise-restartable execution of parallel programs;and accurate application progress analysis for large-scale parallel debugging.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sonification Blocks: A Block-Based programming Environment For Embodied Data Sonification 17

Sonification Blocks: A Block-Based Programming Environment F...

引用

16th International acm conference on Interaction design and Children (IDC)

作者： Atherton, Jack Blikstein, Paulo Stanford Univ Ctr Comp Res Mus & Acoust Stanford CA 94305 USA Stanford Univ Grad Sch Educ Stanford CA 94305 USA

ISBN: (纸本)9781450349215

High school students often struggle to find the motivation to learn to program. Music can be a powerful motivator for these students, but existing tools that combine music production with programming often fail to meaningfully engage students with core computer science concepts. Sonification Blocks was created to shift the focus back toward big ideas in programming. Sonification Blocks is a programming language for data sonification, the process of creating audio algorithms and controlling them with streams of data. Its implementation as a block-based language with clear, interactive data visualizers allows high-school-aged learners to develop computational literacy. Furthermore, the act of manipulating sound parameters with data streams that are controlled through body motion may help connect learners with powerful ideas in programming and data science.

关键词： computer science education music sonification embodied cognition constructionism

来源：评论

学校读者我要写书评

暂无评论

design Principles of an Embedded language (EFL) Enabling Well Defined Order-Independent Execution 17

Design Principles of an Embedded Language (EFL) Enabling Wel...

引用

5th European conference on the Engineering of Computer-Based Systems (ECBS)

作者： Goldstein, Moshe Dayan, David Rabin, Max Berlowitz, Devora Berlowitz, Or Yehezkael, Raphael B. Jerusalem Coll Technol Flexible Computat Res Lab Havaad Haleumi 21 IL-9372115 Jerusalem Israel

ISBN: (纸本)9781450348430

Parallel programming platforms are heterogeneous and incompatible;a common approach is needed to free programmers from platforms' technical intricacies, allowing flexible execution in which sequential and parallel executions produce identical results. The execution and programming model of an embedded flexible language (EFL), which implement this common approach, are presented. EFL allows embedding of deterministic parallel code blocks into a sequential program, written in any host language. EFL programming model constructs are presented. An EFL implementation of the Reduce Parallel design Pattern is presented. With EFL we aim to implement safe and efficient parallel execution, in software, hardware, or both. Consequences of Rice's theorem regarding parallel computation are discussed. These consequences severely restrict what can be checked at compile time. An approach is proposed for circumventing these restrictions.

关键词： Parallel programming parallel design pattern flexible computation

来源：评论

学校读者我要写书评

暂无评论

proceedings of the acm sigplan conference on programming language design and implementation (PLDI)

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

1st acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, ARRAY 2014 - Part of PLDI 2014

ISBN: (纸本)9781450329378

The proceedings contain 17 papers. The topics discussed include: exploiting implicit parallelism in dynamic array programming languages;NOVA: a functional language for data parallelism;abstracting vector architectures in library generators: case study convolution filters;just-in-time length specialization of dynamic vector code;a local-view array library for partitioned global address space C++ programs;GPGPU composition with OCaml;a composable array function interface for heterogeneous computing in java;just-in-time shape inference for array-based languages;array operators using multiple dispatch;Co-dfns: ancient language, modern compiler;extract and extend parallelism using C/C++ extension for array notation on multicore and many-core platforms - an empirical investigation with quantitative finance examples;on predicting the impact of resource redistributions in streaming applications;***: transformation-based code generation for GPUs and CPUs;and multi-target C code generation from MATLAB.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Linking language & Thinking with Code: Computing within a Writing-Intensive Introduction to the Liberal Arts 17

Linking Language & Thinking with Code: Computing within a Wr...

引用

acm conference on Innovation and Technology in Computer Science Education (ITiCSE)

作者： O'Hara, Keith J. Burke, Kathleen Ruggiero, Diana Anderson, Sven Bard Coll Comp Sci Program Annandale On Hudson NY 12504 USA

ISBN: (纸本)9781450347044

This paper describes the design, implementation and preliminary evaluation of a computing component for a three-week writing-intensive introductory program at a liberal arts college. Specific curricular recommendations are presented that could have a direct, positive impact if adopted in similar courses. A two-pronged approach involving a faculty-led HTML workshop, along with student-led contextualized coding studios, was employed. Computing Unplugged activities were used, including a novel Page Rank Unplugged networking activity. An analysis of attitude surveys shows the program positively changed students attitudes about enjoyment solving CS problems, but potentially reinforced the misconception that CS is just learning programming languages.

关键词： computing in liberal arts computing unplugged attitudes

来源：评论

学校读者我要写书评

暂无评论

From Scenario Modeling to Scenario programming for Reactive Systems with Dynamic Topology 2017

From Scenario Modeling to Scenario Programming for Reactive ...

引用

11th Joint Meeting of European Software Engineering conference (ESEC) / acm SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

作者： Greenyer, Joel Gritzner, Daniel Koenig, Florian Dahlke, Jannik Shi, Jianwei Wete, Eric Leibniz Univ Hannover Software Engn Grp Welfengarten 1 D-30167 Hannover Germany

ISBN: (纸本)9781450351058

Software-intensive systems often consist of cooperating reactive components. In mobile and reconfigurable systems, their topology changes at run-time, which influences how the components must cooperate. The Scenario Modeling language (SML) offers a formal approach for specifying the reactive behavior such systems that aligns with how humans conceive and communicate behavioral requirements. Simulation and formal checks can find specification flaws early. We present a framework for the Scenario-based programming (SBP) that reflects the concepts of SML in Java and makes the scenario modeling approach available for programming. SBP code can also be generated from SML and extended with platform-specific code, thus streamlining the transition from design to implementation. As an example serves a car-to-x communication *** video and artifact: http://***/esecfse-2017-tool-demo/

关键词： Scenario-based modeling reactive systems distributed embedded systems dynamic topologies assume/guarantee specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：