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

Special issue dedicated to ICFP 2014 Editorial

JOURNAL OF functional programming 2016年 26卷 e20-e20页

作者： Dreyer, Derek Sheeran, Mary Max Planck Inst Software Syst MPI SWS Fdn Programming Grp Kaiserslautern Germany Chalmers Funct Programming Grp Comp Sci & Engn Dept Gothenburg Sweden

the 19th acm sigplan international conference on functional programming (ICFP) took place on September 1–3, 2014 in Gothenburg, Sweden. After the conference, the programme committee, chaired by Manuel Chakravarty, selected several outstanding papers and invited their authors to submit to this special issue of JFP. We acted as editors for these submissions. this issue includes the six accepted papers, each of which provides substantial new material beyond the original conference version. the selected papers demonstrate both the quality and the breadth of the conference, with a strong emphasis on types and their applications, and ranging from compilation methods through contract verification to homotopy type theory.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Practical Principled FRP Forget the Past, Change the Future, FRPNow! 2015

Practical Principled FRP Forget the Past, Change the Future,...

引用

20th acm sigplan international conference on functional programming (ICFP)

作者： van der Ploeg, Atze Claessen, Koen Chalmers Univ Technol Gothenburg Sweden

ISBN: (纸本)9781450336697

We present a new interface for practical functional Reactive programming (FRP) that (1) is close in spirit to the original FRP ideas, (2) does not have the original space-leak problems, without using arrows or advanced types, and (3) provides a simple and expressive way for performing I/O actions from FRP code. We also provide a denotational semantics for this new interface, and a technique (using Kripke logical relations) for reasoning about which FRP functions may "forget their past", i.e. which functions do not have an inherent space-leak. Finally, we show how we have implemented this interface as a Haskell library called FRPNow.

关键词： functional Reactive programming Space-leak Purely functional I/O Kripke logical relations

来源：评论

学校读者我要写书评

暂无评论

Orchestrating Masses of Sensors: A Design-Driven Development Approach 2015

Orchestrating Masses of Sensors: A Design-Driven Development...

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Kabac, Milan Consel, Charles Inria Bordeaux Bordeaux France Univ Bordeaux Bordeaux France

ISBN: (纸本)9781450336871

this paper proposes a design-driven development approach that is dedicated to the domain of orchestration of masses of sensors. the developer declares what an application does using a domain-specific language (DSL). Our compiler processes domain-specific declarations to generate a customized programming framework that guides and supports the programming phase.

关键词： Generative programming domain-specific languages programming frameworks sensors pervasive computing

来源：评论

学校读者我要写书评

暂无评论

functional Pearl: A SQL to C Compiler in 500 Lines of Code 2015

Functional Pearl: A SQL to C Compiler in 500 Lines of Code

引用

20th acm sigplan international conference on functional programming (ICFP)

作者： Rompf, Tiark Amin, Nada Ecole Polytech Fed Lausanne Lausanne Switzerland

ISBN: (纸本)9781450336697

We present the design and implementation of a SQL query processor that outperforms existing database systems and is written in just about 500 lines of Scala code - a convincing case study that high-level functional programming can handily beat C for systems-level programming where the last drop of performance matters. the key enabler is a shift in perspective towards generative programming. the core of the query engine is an interpreter for relational algebra operations, written in Scala. Using the open-source LMS Framework (Lightweight Modular Staging), we turn this interpreter into a query compiler with very low effort. To do so, we capitalize on an old and widely known result from partial evaluation known as Futamura projections, which state that a program that can specialize an interpreter to any given input program is equivalent to a compiler. In this pearl, we discuss LMS programming patterns such as mixed-stage data structures (e.g. data records with static schema and dynamic field components) and techniques to generate low-level C code, including specialized data structures and data loading primitives.

关键词： SQL Query Compilation Staging Generative programming Futamura Projections

来源：评论

学校读者我要写书评

暂无评论

An Optimizing Compiler for a Purely functional Web-Application Language 2015

An Optimizing Compiler for a Purely Functional Web-Applicati...

引用

20th acm sigplan international conference on functional programming (ICFP)

作者： Chlipala, Adam MIT CSAIL Cambridge MA 02139 USA

ISBN: (纸本)9781450336697

High-level scripting languages have become tremendously popular for development of dynamic Web applications. Many programmers appreciate the productivity benefits of automatic storage management, freedom from verbose type annotations, and so on. While it is often possible to improve performance substantially by rewriting an application in C or a similar language, very few programmers bother to do so, because of the consequences for human development effort. this paper describes a compiler that makes it possible to have most of the best of both worlds, coding Web applications in a high-level language but compiling to native code with performance comparable to handwritten C code. the source language is Ur/Web, a domain-specific, purely functional, statically typed language for the Web. through a coordinated suite of relatively straightforward program analyses and algebraic optimizations, we transform Ur/Web programs into almost-idiomatic C code, with no garbage collection, little unnecessary memory allocation for intermediate values, etc. Our compiler is in production use for commercial Web sites supporting thousands of users, and microbenchmarks demonstrate very competitive performance versus mainstream tools.

关键词： Web programming languages pure functional programming whole-program optimization

来源：评论

学校读者我要写书评

暂无评论

CLOP: A Multi-stage Compiler to Seamlessly Embed Heterogeneous Code 2015

CLOP: A Multi-stage Compiler to Seamlessly Embed Heterogeneo...

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Makarov, Dmitri Hauswirth, Matthias Univ Svizzera Italiana Lugano Switzerland

ISBN: (纸本)9781450336871

Heterogeneous programming complicates software development. We present CLOP, a platform that embeds code targeting heterogeneous compute devices in a convenient and clean way, allowing unobstructed data flow between the host code and the devices, reducing the amount of source code by an order of magnitude. the CLOP compiler uses the standard facilities of the D programming language to generate code strictly at compile-time. In this paper we describe the CLOP language and the CLOP compiler implementation.

关键词： Heterogeneous programming Embedded Languages Staging

来源：评论

学校读者我要写书评

暂无评论

Contract-Based General-Purpose GPU programming 2015

Contract-Based General-Purpose GPU Programming

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Kolesnichenko, Alexey Poskitt, Christopher M. Nanz, Sebastian Meyer, Bertrand ETH Ziirich Dept Comp Sci Zurich Switzerland Politecn Milan Milan Italy Innopolis Univ Kazan Russia

ISBN: (纸本)9781450336871

Using GPUs as general-purpose processors has revolutionized parallel computing by offering, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to widespread adoption, however, is the difficulty of programming them and the low-level control of the hardware required to achieve good performance. this paper suggests a programming library, SafeGPU, that aims at striking a balance between programmer productivity and performance, by making GPU data-parallel operations accessible from within a classical object-oriented programming language. the solution is integrated with the design-by-contract approach, which increases confidence in functional program correctness by embedding executable program specifications into the program text. We show that our library leads to modular and maintainable code that is accessible to GPGPU non-experts, while providing performance that is comparable with hand-written CUDA code. Furthermore, runtime contract checking turns out to be feasible, as the contracts can be executed on the GPU.

关键词： GPGPU parallel computing runtime code generation programming object-orientation design-by-contract program correctness

来源：评论

学校读者我要写书评

暂无评论

Safer SDN programming through Arbiter 2015

Safer SDN Programming through Arbiter

引用

14th acm sigplan international conference on Generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Lopez, Michael Casey, C. Jasson Dos Reis, Gabriel Chojnacki, Colton Texas A&M Univ College Stn TX 77843 USA

ISBN: (纸本)9781450336871

Software Defined Networking (SDN) programs are written with respect to assumptions on software and hardware facilities and protocol definitions. Silent mismatches between the expected feature set and implemented feature set of SDN artifacts can easily lead to hard to debug network configurations, decreased network performance, outages, or worse, security vulnerabilities. We show how the paradigm of axiomatic programming, supported by practical dependent types, provides effective support for SDN executable specifications and verification.

关键词： Axiomatic programming Dependent types Software-defined networking

来源：评论

学校读者我要写书评

暂无评论

Demonstration Abstract: IoTSuite - A Framework to Design, Implement, and Deploy IoT Applications

Demonstration Abstract: IoTSuite - A Framework to Design, Im...

引用

international Symposium on Information Processing in Sensor Networks (IPSN)

作者： Saurabh Chauhan Pankesh Patel Ashish Sureka Flavia C. Delicato Sanjay Chaudhary ABB Corporate Research India Federal University Brazil Ahmedabad University

Internet of things (IoT) application development is technically challenging and complex due to several factors such as the presence of different IoT protocols, interoperability issues, lack of industry standards and dealing with the heterogeneity that exists both in Physical and Internet worlds. Furthermore, developers involved in the IoT application development have to address issues pertaining to different life-cycles ranging from design, implementation to deployment (deployment complexities due to the possibilities of wide range of devices). Manual effort involved in all above three phases for heterogeneous devices is a time-consuming and error-prone process. We demonstrate IoTSuite which is an application development platform consisting of a suite of tools motivated by the need to simplify IoT application development. the IoTSuite supports several features such as automatic code generation and integration with a set of modeling languages. It takes high-level specification as input that abstract heterogeneity related complexity. It integrates compiler and deployment module to provide automation at different phases of application development process.

关键词： Smart homes User interfaces programming Internet of things Databases Temperature sensors

来源：评论

学校读者我要写书评

暂无评论

functional programming and Hardware Design: Still Interesting after All these Years 2015

Functional Programming and Hardware Design: Still Interestin...

引用

20th acm sigplan international conference on functional programming (ICFP)

作者： Sheeran, Mary Chalmers Univ Technol Gothenburg Sweden

ISBN: (纸本)9781450336697

Higher order functions provide an elegant way to express algorithms designed for implementation in hardware [1, 6-9]. By showing examples of both classic and new algorithms, I will explain why higher order functions deserve to be studied. Next, I will consider the extent to which ideas from functional programming, and associated formal verification methods, have influenced hardware design in practice [3-5, 10]. What can we learn from looking back? You might ask "Why are methods of hardware design still important to our community?". Maybe we should just give up? One reason for not giving up is that hardware design is really a form of parallel programming. And here there is still a lot to do! Inspired by Blelloch's wonderful invited talk at ICFP 2010 [2], I still believe that functional programming has much to offer in the central question of how to program the parallel machines of today, and, more particularly, of the future. I will briefly present some of the areas where I think that we are poised to make great contributions. But maybe we need to work harder on getting our act together?

关键词： Hardware design parallel algorithms functional programming higher order functions parallel programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：