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

3rd central european functional programming school, cefp 2009

ISBN: (纸本)3642176844

The proceedings contain 11 papers. The topics discussed include: reasoning about codata;programming in Manticore, a heterogeneous parallel functional language;non-monadic models of mutable references;software testing with QuickCheck;an effective methodology for defining consistent semantics of complex systems;types for units-of-measure: theory and practice;functional programming with C++ template metaprograms;embedding a proof system in Haskell;and impact analysis of Erlang programs using behavior dependency graphs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Non-monadic models of mutable references

Non-monadic models of mutable references

引用

3rd central european functional programming school, cefp 2009

作者： Diviánszky, Péter Eötvös Loránd University Fac. of Informatics Programming Lang. and Compilers Dep. Budapest Hungary

ISBN: (纸本)3642176844

Pointers are known as mutable references in pure functional programming languages. In Haskell, IO-references and ST-references are the well-known monadic models of references. This paper propose a model of mutable references based on unique heaps. This model put less restriction on the evaluation order of basic reference operations. Moreover it has simpler, more tractable semantics and it supports features like shared references between heaps and virtual union of heaps. The proposed model needs uniqueness typing. This need could be seen as a drawback but it can also be seen as a motivation for the spread of uniqueness typing in functional languages. © 2010 Springer-Verlag.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Erlang behaviours: programming with process design patterns

Erlang behaviours: Programming with process design patterns

引用

3rd central european functional programming school, cefp 2009

作者： Cesarini, Francesco Thompson, Simon Erlang Solutions Ltd. London United Kingdom School of Computing University of Kent Canterbury United Kingdom

ISBN: (纸本)3642176844

Erlang processes run independently of each other, each using separate memory and communicating with each other by message passing. These processes, while executing different code, do so following a number of common patterns. By examining different examples of Erlang-style concurrency in client/server architectures, we identify the generic and specific parts of the code and extract the generic code to form a process skeleton. In Erlang, the most commonly used patterns have been implemented in library modules, commonly referred to as OTP behaviours. They contain the generic code framework for concurrency and error handling, simplifying the complexity of concurrent programming and protecting the developer from many common pitfalls. © 2010 Springer-Verlag.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Embedding a proof system in Haskell

Embedding a proof system in Haskell

引用

3rd central european functional programming school, cefp 2009

作者： Dévai, Gergely Eötvös Loránd University Faculty of Informatics Dept. of Programming Languages and Compilers Pazmany Peter setany 1/C H-1117 Budapest Hungary

ISBN: (纸本)3642176844

This article reports about a work-in-progress project that aims at embedding a proof system [4] in the Haskell programming language. The goal of the system is to create formally verified software using the correctness by construction principle. Using Haskell as the host language provides a powerful and flexible environment so that programming language tools can be used to build proofs. The main contribution of this paper is the systematic analysis of different techniques for language embedding. We present design decisions by pointing out which techniques are applicable and which ones are inappropriate or inconvenient to use when embedding a proof system like the our one. We also point out the advantages of the embedding compared to a previous implementation of the same system. © 2010 Springer-Verlag.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

programming in manticore, a heterogenous parallel functional language

Programming in manticore, a heterogenous parallel functional...

引用

3rd central european functional programming school, cefp 2009

作者： Fluet, Matthew Bergstrom, Lars Ford, Nic Rainey, Mike Reppy, John Shaw, Adam Xiao, Yingqi Rochester Institute of Technology Rochester NY 14623 United States University of Chicago Chicago IL 60637 United States

ISBN: (纸本)3642176844

The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous language that supports parallelism at multiple levels. Specifically, the Manticore language combines Concurrent ML-style explicit concurrency with fine-grain, implicitly threaded, parallel constructs. These lectures will introduce the Manticore language and explore a variety of programs written to take advantage of heterogeneous parallelism. At the explicit-concurrency level, Manticore supports the creation of distinct threads of control and the coordination of threads through first-class synchronous-message passing. Message-passing synchronization, in contrast to shared-memory synchronization, fits naturally with the functional-programming paradigm. At the implicit-parallelism level, Manticore supports a diverse collection of parallel constructs for different granularities of work. Many of these constructs are inspired by common functional-programming idioms. In addition to describing the basic mechanisms, we will present a number of useful programming techniques that are enabled by these mechanisms. © 2010 Springer-Verlag.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

functional programming with C++ template metaprograms

Functional programming with C++ template metaprograms

引用

3rd central european functional programming school, cefp 2009

作者： Porkoláb, Zoltán Eötvös Loránd University Faculty of Informatics Dept. of Programming Languages and Compilers Pazmany Peter setany 1/C H-1117 Budapest Hungary

ISBN: (纸本)3642176844

Template metaprogramming is an emerging new direction of generative programming. With the clever definitions of templates we can force the C++ compiler to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimization with adaption, language embedding and active libraries. However, as template metaprogramming was not an original design goal, the C++ language is not capable of elegant expression of metaprograms. The complicated syntax leads to the creation of code that is hard to write, understand and maintain. Although template metaprogramming has a strong relationship with functional programming, this is not reflected in the language syntax and existing libraries. In this paper we give a short and incomplete introduction to C++ templates and the basics of template metaprogramming. We will enlight the role of template metaprograms, and some important and widely used idioms. We give an overview of the possible application areas as well as debugging and profiling techniques. We suggest a pure functional style programming interface for C++ template metaprograms in the form of embedded Haskell code which is transformed to standard compliant C++ source. © 2010 Springer-Verlag.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

central european functional programming school 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Zoltán Horváth Viktória Zsók Rinus Plasmeijer

ISBN: (数字)9783642176852

ISBN: (纸本)9783642176845

This volume presents the revised lecture notes of selected talks given at the Third central european functional programming school, cefp 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009.;The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages.

关键词： Software Engineering programming Languages, Compilers, Interpreters programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Reasoning about codata

Reasoning about codata

引用

3rd central european functional programming school, cefp 2009

作者： Hinze, Ralf Computing Laboratory University of Oxford Wolfson Building Parks Road Oxford OX1 3QD United Kingdom

ISBN: (纸本)3642176844

Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. Coinduction is often considered a rather low-level proof method, in particular, as it departs quite radically from equational reasoning. Corecursive programs are conveniently defined using recursion equations. Suitably restricted, these equations possess unique solutions. Uniqueness gives rise to a simple and attractive proof technique, which essentially brings equational reasoning to the coworld. We illustrate the approach using two major examples: streams and infinite binary trees. Both coinductive types exhibit a rich structure: they are applicative functors or idioms, and they can be seen as memo-tables or tabulations. We show that definitions and calculations benefit immensely from this additional structure. © 2010 Springer-Verlag.

关键词： Binary trees

来源：评论

学校读者我要写书评

暂无评论

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2010年 6299 LNCS卷

作者： Horváth, Zoltán Plasmeijer, Rinus Zsók, Viktória Eötvös Loránd University Faculty of Informatics Department of Programming Languages and Compilers Pazmany Peter Setany 1/C 1117 Budapest Hungary Radboud University Computer and Information Sciences Institute Heyendaalseweg 135 6525AJ Nijmegen Netherlands

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：