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

2013 1st acm SIGPLAN Workshop on functional Art, Music, Modeling and Design, FARM 2013 - Co-located with the 18th acm SIGPLAN International conference on functional programming, ICFP 2013

作者： Bresson, Jean Foulon, Raphaël Stroppa, Marco UMR STMS IRCAM/CNRS UPMC Paris France Sony CSL Paris France University of Music and Performing Arts Stuttgart Germany

ISBN: (纸本)9781450323864

We present an application of reduction and higher-order functions in a recent computer-aided composition project. Our objective is the generation of control data for the Chant sound synthesizer using OpenMusic (OM), a domain-specific visual programming environment based on Common lisp. The system we present allows to compose sounds by combining synthesis events in sequences. After the definition of the compositional primitives determining these events, we handle their sequencing, transitions and possible overlapping/fusion using a special fold operator. The artistic context of this project is the production of the opera Re Orso, premiered in 2012 at the Opera Comique, Paris. Copyright © 2013 acm.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

functional un|unparsing

引用

Higher-Order and Symbolic Computation 2011年第4期24卷 311-340页

作者： Asai, Kenichi Kiselyov, Oleg Shan, Chung-Chieh Ochanomizu University Tokyo Japan Indiana University Bloomington IN United States

Danvy's functional unparsing problem (Danvy in J. Funct. Program. 8(6), 621- 625, 1998) is to implement a type-safe 'printf' function, which converts a sequence of heterogeneous arguments to a string according to a given format. The dual problem is to implement a type-safe 'scanf' function, which extracts a sequence of heterogeneous arguments from a string by interpreting (Friedman and Wand in LFP, pp. 348-355, 1984 and in Essentials of programming Languages, MIT Press, 2008) the same format as an equally heterogeneous sequence of patterns that binds zero or more variables. We derive multiple solutions to both problems (Wand in J. acm 27(1), 164-180, 1980) from their formal specifications (Wand in Theor. Comput. Sci. 20(1), 3-32, 1982). On one hand, our solutions show how the Hindley-Milner type system, unextended, permits accessing heterogeneous sequences with the static assurance of type safety. On the other hand, our solutions demonstrate the use of control operators (Felleisen et al. in proceedings of the 1988 acmconference on lisp and functional programming, pp. 52-62, acmPress, New York, 1988;Wand in POPL 85: conference Record of the Annual acm Symposium on Principles of programming Languages, vol. 16, acmPress, New York, 1985;Meyer and Wand in Logics of Programs, Lecture Notes in Computer Science, vol. 193, pp. 219-224, Springer, Berlin, 1985) to communicate with formats as coroutines (Wand in proceedings of the 1980 acm conference on lisp and functional programming, vol. 12, pp. 285-299, acm Press, New York, 1980 and Haynes et al. in LFP, pp. 293-298, 1984). © Springer Science+Business Media, LLC 2012.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Multi-core parallelization in clojure - A case study

Multi-core parallelization in clojure - A case study

引用

6th European lisp Workshop: European conference on Object-Oriented programming, ELW'09

作者： Kraus, Johann M. Kestler, Hans A. Institute of Neural Information Processing University of Ulm 9069 Ulm Germany Department of Internal Medicine I University Hospital Ulm 89081 Ulm Germany

ISBN: (纸本)9781605585390

In recent years, the demand for computational power in data mining applications has increased due to rapidly growing data sets. As a consequence, standard algorithms need to be parallelized for fast processing of the generated data sets. Unfortunately, most approaches for parallelizing algorithms require a careful software design and a deep knowledge about thread-safe programming. As a consequence they are hardly applicable for rapid prototyping of new algorithms. We outline the process of multi-core parallelization using Clojure, a new functional programming language utilizing the Java Virtual Machine (JVM) that does not require knowledge of thread-safe programming. We provide some benchmark results for our multi-core algorithm to demonstrate its computational power. The rationale behind Clojure is combining the industry-standard JVM with functional programming, immutable data structures, and a built-in concurrency support via software transactional memory. This makes it a suitable tool for parallelization and rapid prototyping in many areas. In this case study we present a multi-core parallel implementation of the k-means cluster algorithm. The multi-core algorithm shows an increase in computation speed up to a factor of 10 compared to R or network based parallelization. Copyright 2009 acm.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

An accidental Simula user

引用

21st European conference on Object-Oriented programming (ECOOP 2007)

作者： Cardelli, Luca Microsoft Corp Res Redmond WA 98052 USA

ISBN: (纸本)9783540735885

It was a simple choice, really, on an IBM 370 in the 70's, between APL, Fortran, lisp 1.5, PL/1, COBOL, and Simula'67. Nothing could come close to Simula's combination of strong typing, garbage collection, and proper string processing. Separate compilation (prefix classes) and coroutines were nice bonuses. And then there were these . . . "objects" but, well, nothing is perfect. Hot topics in those days were the freshly invented denotational semantics (which Simula didn't have), formal type systems (which objects didn't have), and abstract data types (which seemed to have confusingly little to do with classes). Still, Simula was the obvious choice to get something done comfortably because, after all, it was an improved Algol. It even had the functional programming feature of call-by-name by default. So, it became my first favorite language, for every reason other than it being object-oriented. The story I am going to tell is the very, very slow realization that Simula was the embodiment of a radically different philosophy of programming, and the gradual and difficult efforts to reconcile that philosophy with the formal methods that were being developed for procedural and functional programming. Along the way, domain theory helped rather unexpectedly, at least for a while. Type theory had to be recast for the task at hand. Landin's lambda-reductionism had to be partially abandoned. Always, there seemed to be a deep fundamental mismatch between objects and procedures, well described by Reynolds, that made any unification impossibly complicated. But in the end, both object-oriented and procedural programming have benefited from the clash of cultures. And the story is far from over yet, as witnessed by the still blooming area of program verification for both procedural and object-oriented languages. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

The anatomy of a loop - A story of scope and control 05

The anatomy of a loop - A story of scope and control

引用

10th acm SIGPLAN International conference on functional programming (ICFP)

作者： Shivers, O Georgia Inst Technol Atlanta GA 30332 USA

ISBN: (纸本)9781595930644

Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for lisp-family languages have been around for over 20 years, it is striking that none have had much success in the Scheme world. I suggest the reason is that Scheme forces us to be precise about the scoping of the various variables introduced by our loop forms, something previous attempts to design ambitious loop forms have not managed to do. I present the design of a loop package for Scheme with a well-defined and natural scoping rule, based on a notion of control dominance that generalizes the standard lexical-scope rule of the lambda-calculus. The new construct is powerful, clear, modular and extensible. The loop language is defined in terms of an underlying language for expressing control-flow graphs. This language itself has interesting properties as an intermediate representation.

关键词： design languages performance theory functional programming control structures iteration lambda-calculus compilers programming languages continuations macros Scheme

来源：评论

学校读者我要写书评

暂无评论

Down with Emacs lisp: Dynamic scope analysis 01

Down with Emacs Lisp: Dynamic scope analysis

引用

6th International conference on functional programming (ICFP 2001)

作者： Neubauer, M Sperber, M Univ Freiburg Inst Informat D-7800 Freiburg Germany Univ Tubingen Wilhelm Schickard Inst Informat D-72074 Tubingen Germany

ISBN: (纸本)9781581134155

It is possible to translate code written in Emacs lisp or another lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely preserving structure and readability of the code. The biggest obstacle to such an idiomatic translation from Emacs lisp is the translation of dynamic binding into suitable instances of lexical binding: Many binding constructs in real programs in fact exhibit identical behavior under both dynamic and lexical binding. An idiomatic translation needs to detect as many of these binding constructs as possible and convert them into lexical binding constructs in the target language to achieve readability and efficiency of the target code. The basic prerequisite for such an idiomatic translation is thus a dynamic scope analysis which associates variable occurrences with binding constructs. We present such an analysis. It is an application of the Nielson/Nielson framework for flow analysis to a semantics for dynamic binding akin to Moreau's. Its implementation handles a substantial portion of Emacs lisp, has been applied to realistic Emacs lisp code, and is highly accurate and reasonably efficient in practice.

关键词： lisp (programming language)

来源：评论

学校读者我要写书评

暂无评论

The Java syntactic extender (JSE) 01

The Java syntactic extender (JSE)

引用

acm SIGPLAN conference on Object-oriented programming, Systems, Languages, and Applications

作者： Jonthan Bachrach Keith Playford Artificial Intelligence Laboratory Massachussetts Institute of Technology Cambridge MA Functional Objects Inc. 86 Chandler Street Somerville MA

ISBN: (纸本)1581133359

The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a language designed specifically for their problem domain. However, macro facilities that are integrated, capable, and at the same time simple enough to be widely used have been limited to the lisp family of languages to date. In this paper we introduce a macro facility, called the Java Syntactic Extender (JSE), with the superior power and ease of use of lisp macro sytems, but for Java, a language with a more conventional algebraic syntax. The design is based on the Dylan macro system, but exploits Java's compilation model to offer a full procedural macro engine. In other words, syntax expanders may be implemented in, and so use all the facilities of, the full Java language

关键词： Java programming language Language syntax common-base Java lisp macrosystem Computer personnel Extenders Extender Device Component macro commands

来源：评论

学校读者我要写书评

暂无评论

programming languages as operating systems (or revenge of the son of the lisp machine) 99

Programming languages as operating systems (or revenge of th...

引用

proceedings of the fourth acm SIGPLAN international conference on functional programming

作者： Matthew Flatt Robert Bruce Findler Shriram Krishnamurthi Matthias Felleisen Department of Computer Science Rice University Houston Texas

ISBN: (纸本)9781581131116

The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and programs entered into DrScheme's read-eval-print loop. We describe the key elements of the MrEd virtual machine for building a programming environment, and we step through the implementation of a miniature version of DrScheme in MrEd. More generally, we show how MrEd defines a high-level operating system for graphical programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 1994 acm conference on lisp and functional programming

Proceedings of the 1994 ACM Conference on LISP and Functiona...

引用

proceedings of the 1994 acm conference on lisp and functional programming

The proceedings contains 30 papers. Topics discussed include computer software, lisp, storage allocation, program compilers, inference engines, boolean algebra, automata theory, data structures and mathematical techni... 详细信息

ISBN: (纸本)0897916433

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

Syntax and semantics of a persistent common lisp

Syntax and semantics of a persistent common lisp

引用

proceedings of the 1994 acm conference on lisp and functional programming

作者： Jacobs, J.H. Swanson, M.R. Univ of Utah United States

ISBN: (纸本)0897916433

The syntax and semantics for UCL+P, a persistent Common lisp, are defined. The definition provides adequate support for persistence while maintaining the look-and-feel of Common lisp. All lisp data types (except streams) can be made persistent. Persistence is conferred automatically on non-symbol values when they become part of a persistent data structure. Symbols are persistent if interned in a persistent package. The Common lisp package facility was enhanced to allow for persistent packages which provide modularity to the space of persistent values and serve as the ultimate roots of the persistence conferral algorithm. Values are retrieved from the store using demand loading;new or mutated values are automatically detected and written back to the store when the transaction is committed. The sharing semantics of lisp are preserved in this specification.

关键词： lisp (programming language)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：