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

18th acm sigplan international conference on functional programming

作者： Pottier, Francois Protzenko, Jonathan INRIA Paris France

ISBN: (纸本)9781450323260

We present Mezzo, a typed programming language of ML lineage. Mezzo is equipped with a novel static discipline of duplicable and affine permissions, which controls aliasing and ownership. this rules out certain mistakes, including representation exposure and data races, and enables new idioms, such as gradual initialization, memory re-use, and (type) state changes. Although the core static discipline disallows sharing a mutable data structure, Mezzo offers several ways of working around this restriction, including a novel dynamic ownership control mechanism which we dub "adoption and abandon".

关键词： static type systems side effects aliasing ownership

来源：评论

学校读者我要写书评

暂无评论

Flask: Staged functional programming for sensor networks

Flask: Staged functional programming for sensor networks

引用

13th acm sigplan international conference on functional programming

作者： Mainland, Geoffrey Morrisett, Greg Welsh, Matt Harvard Univ Sch Engn & Appl Sci Cambridge MA 02138 USA

ISBN: (纸本)9781595939197

Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful abstraction facilities at our fingertips, but how can we make use of these tools on a device with an 8-or 16-bit CPU and at most tens of kilobytes of RAM? Motivated by this challenge, we have developed Flask, a domain specific language embedded in Haskell that brings the power of functional programming to sensor networks, collections of highly resource-constrained devices. Flask consists of a staging mechanism that cleanly separates node-level code from the meta-language used to generate node-level code fragments;syntactic support for embedding standard sensor network code;a restricted subset of Haskell that runs on sensor networks and constrains program space and time consumption;a higher-level "data stream" combinator library for quickly constructing sensor network programs;and an extensible runtime that provides commonly-used services. We demonstrate Flask through several small code examples as well as a compiler that generates node-level code to execute a network-wide query specified in a SQL-like language. We show how using Flask ensures constraints on space and time behavior. through microbenchmarks and measurements on physical hardware, we demonstrate that Flask produces programs that are efficient in terms of CPU and memory usage and that can run effectively on existing sensor network hardware.

关键词： languages design meta programming

来源：评论

学校读者我要写书评

暂无评论

Defunctionalized interpreters for programming languages 08

Defunctionalized interpreters for programming languages

引用

13th acm sigplan international conference on functional programming

作者： Danvy, Olivier Univ Aarhus Dept Comp Sci DK-8200 Aarhus N Denmark

ISBN: (纸本)9781595939197

this document illustrates how functional implementations of formal semantics ( structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational semantics) can be transformed into each other. these transformations were foreshadowed by Reynolds in "Definitional Interpreters for Higher-Order programming Languages" for functional implementations of denotational semantics, natural semantics, and big-step abstract machines using closure conversion, CPS transformation, and defunctionalization. Over the last few years, the author and his students have further observed that functional implementations of small-step and of big-step abstract machines are related using fusion by fixed-point promotion and that functional implementations of reduction semantics and of small-step abstract machines are related using refocusing and transition compression. It furthermore appears that functional implementations of structural operational semantics and of reduction semantics are related as well, also using CPS transformation and defunctionalization. this further relation provides an element of answer to Felleisen's conjecture that any structural operational semantics can be expressed as a reduction semantics: for deterministic languages, a reduction semantics is a structural operational semantics in continuation style, where the reduction context is a defunctionalized continuation. As the defunctionalized counterpart of the continuation of a one-step reduction function, a reduction context represents the rest of the reduction, just as an evaluation context represents the rest of the evaluation since it is the defunctionalized counterpart of the continuation of an evaluation function.

关键词： relations between models big-step abstract machines context-sensitive reduction semantics continuations CPS transformation defunctionalization

来源：评论

学校读者我要写书评

暂无评论

NixOS: A purely functional Linux distribution

引用

JOURNAL OF functional programming 2010年第5-6期20卷 577-615页

作者： Dolstra, Eelco Loh, Andres Pierron, Nicolas Delft Univ Technol Dept Software Technol NL-2600 GA Delft Netherlands Univ Utrecht Dept Informat & Comp Sci NL-3508 TB Utrecht Netherlands EPITA Res & Dev Lab F-94276 Le Kremlin Bicetre France

Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as package upgrades or changes to system configuration files are stateful: they destructively update the state of the system. this leads to many problems, such as the inability to roll back changes easily, to deploy multiple versions of a package side-by-side, to reproduce a configuration deterministically on another machine, or to reliably upgrade a system. In this paper we show that we can overcome these problems by moving to a purely functional system configuration model. this means that all static parts of a system (such as software packages, configuration files and system startup scripts) are built by pure functions and are immutable, stored in a way analogous to a heap in a purely functional language. We have implemented this model in NixOS, a non-trivial Linux distribution that uses the Nix package manager to build the entire system configuration from a modular, purely functional specification.

关键词： LINUX operating systems ELECTRONIC systems SOFTWARE configuration management IMPERATIVE programming COMPUTER software

来源：评论

学校读者我要写书评

暂无评论

Higher-Order functional Reactive programming without Spacetime Leaks 13

Higher-Order Functional Reactive Programming without Spaceti...

引用

18th acm sigplan international conference on functional programming

作者： Krishnaswami, Neelakantan R. Max Planck Inst Software Syst MPI SWS Saarbrucken Germany

ISBN: (纸本)9781450323260

functional reactive programming (FRP) is an elegant approach to declaratively specify reactive systems. However, the powerful abstractions of FRP have historically made it difficult to predict and control the resource usage of programs written in this style. In this paper, we give a new language for higher-order reactive programming. Our language generalizes and simplifies prior type systems for reactive programming, by supporting the use of streams of streams, first-class functions, and higher-order operations. We also support many temporal operations beyond streams, such as terminatable streams, events, and even resumptions with first-class schedulers. Furthermore, our language supports an efficient implementation strategy permitting us to eagerly deallocate old values and statically rule out spacetime leaks, a notorious source of inefficiency in reactive programs. Furthermore, these memory guarantees are achieved without the use of a complex substructural type discipline. We also show that our implementation strategy of eager deallocation is safe, by showing the soundness of our type system with a novel step-indexed Kripke logical relation.

关键词： functional reactive programming Kripke logical relations temporal logic guarded recursion dataflow capabilities comonads

来源：评论

学校读者我要写书评

暂无评论

functional Pearl: La Tour D'Hanoi

Functional Pearl: La Tour D'Hanoi

引用

14th acm sigplan international conference on functional programming

作者： Hinze, Ralf Univ Oxford Comp Lab Oxford OX1 3QD England

this pearl aims to demonstrate the ideas of wholemeal and projective programming using the Towers of Hanoi puzzle as a running example. the puzzle has its own beauty, which we hope to expose along the way.

ISBN: (纸本)9781605583327

关键词： Towers of Hanoi wholemeal programming projective programming Hanoi graph Sierpinski graph Sierpinski gasket graph Gray code

来源：评论

学校读者我要写书评

暂无评论

Scripted Signal Functions 13

Scripted Signal Functions

引用

13th international Symposium on Haskell (Haskell)

作者： Stuart, David A.

ISBN: (纸本)9781450380508

programming time-dependent signals like animations involves expressing both continuous and discrete changes in signal values. the method of functional reactive programming (FRP) represents this simply and effectively as discrete modes of an otherwise continuous signal. In variants of FRP based on arrows, programs are composed not of signals but rather functions on signals. Accordingly, these signal functions can switch between discrete modes of operation. However, the literature emphasizes expressions of mode switching that are unnecessarily limited. An analysis of their limitations indicates the need for two new, primitive transformations of signal functions. these transformations help to define a monad that represents signal function modes, and this allows programmers to express switching in an imperative, script-like style. this scripting interface gains flexibility and power from several novel operations, including a general-purpose mapping between modes and a combination that mixes two concurrent modes into one. We demonstrate its usefulness with several examples.

关键词： functional reactive programming Haskell

来源：评论

学校读者我要写书评

暂无评论

programming and Reasoning with Algebraic Effects and Dependent Types 13

Programming and Reasoning with Algebraic Effects and Depende...

引用

18th acm sigplan international conference on functional programming

作者： Brady, Edwin Univ St Andrews Sch Comp Sci St Andrews Fife Scotland

ISBN: (纸本)9781450323260

One often cited benefit of pure functional programming is that pure code is easier to test and reason about, both formally and informally. However, real programs have side-effects including state management, exceptions and interactions with the outside world. Haskell solves this problem using monads to capture details of possibly side-effecting computations - it provides monads for capturing state, I/O, exceptions, non-determinism, libraries for practical purposes such as CGI and parsing, and many others, as well as monad transformers for combining multiple effects. Unfortunately, useful as monads are, they do not compose very well. Monad transformers can quickly become unwieldy when there are lots of effects to manage, leading to a temptation in larger programs to combine everything into one coarse-grained state and exception monad. In this paper I describe an alternative approach based on handling algebraic effects, implemented in the IDRIS programming language. I show how to describe side effecting computations, how to write programs which compose multiple fine-grained effects, and how, using dependent types, we can use this approach to reason about states in effectful programs.

关键词： Languages Verification Dependent Types Algebraic Effects

来源：评论

学校读者我要写书评

暂无评论

Workshop preview of the 13th international workshop on dynamic analysis (WODA 2015)

Workshop preview of the 13th international workshop on dynam...

引用

acm sigplan international conference on Systems, programming, Languages and Applications: Software for Humanity, SPLASH 2015

作者： Xu, Guoqing Binder, Walter UC Irvine United States University of Lugano Switzerland

ISBN: (纸本)9781450337229

Dynamic analysis techniques are prevalently used for understandings runtime program behaviors for bug detection, memory management, or performance analysis. the 13th international Workshop on Dynamic Analysis (WODA'15) provides a forum for researchers and practitioners to discuss recent development of dynamic analysis techniques and exchange new ideas. It is held in Pittsburgh, PA on October 26, 2015 and is co-located with SPLASH 2015.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Type Your Matrices for Great Good A Haskell Library of Typed Matrices and Applications (functional Pearl) 13

Type Your Matrices for Great Good A Haskell Library of Typed...

引用

13th international Symposium on Haskell (Haskell)

作者： Santos, Armando Oliveira, Jose N. INESC TEC High Assurance Software Lab Braga Portugal Univ Minho Braga Portugal

ISBN: (纸本)9781450380508

We study a simple inductive data type for representing correctby-construction matrices. Despite its simplicity, it can be used to implement matrix-manipulation algorithms efficiently and safely, performing in some cases faster than existing alternatives even though the algorithms are written in a direct and purely functional style. A rich collection of laws makes it possible to derive and optimise these algorithms using equational reasoning, avoiding the notorious off-by-one indexing errors when fiddling with matrix dimensions. We demonstrate the usefulness of the data type on several examples, and highlight connections to related topics in category theory.

关键词： Haskell Linear Algebra of programming Matrices Probabilistic programming Quantum programming Data Analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：