functional programming is a methodology designed to eliminate many of the problems of past programming languages through actions such as the elimination of the assignment statement and the ability to program in an env...
详细信息
functional programming is a methodology designed to eliminate many of the problems of past programming languages through actions such as the elimination of the assignment statement and the ability to program in an environment that is at a higher level of abstraction than any previous languages. In this report an interpreter, written in Pascal, for the Extended Lambda Calculus is presented. Initially, the events leading to the development of functional programming is discussed followed by an in depth look at how the interpreter operates. Numerous example ELC programs are presented, in- cluding discussions of practical applications and statistical information about execution times and memory requirements. The Berkeley Pascal source code for the interpreter is also included in Appendix C.
Summary form only given. Reconfigurable computing requires organizing computation with mixtures of processors and discrete logic thus presenting a difficult problem of hardware/software integration. An execution model...
详细信息
Summary form only given. Reconfigurable computing requires organizing computation with mixtures of processors and discrete logic thus presenting a difficult problem of hardware/software integration. An execution model and adaptation of functional programming is proposed which removes the distinction between hardware and software while offering the possibility of "correct by construction" design. The resulting language is called "V" because one way of creating it is to begin with the verifiable, synthesizable subset of Verilog, and then add functional programming features. V generates the net-list of elementary functions which are supported by an array. The compiler has stages of compilation and instantiation so that recursion can be supported in the early definition of a design. The execution model is cycle based synchronous dataflow. V syntax looks much like Verilog or C without pointers in order to facilitate adoption.
This document is intended as a stand-alone textbook chapter to be used for introducing some functional programming concepts into a course in which the primary teaching language is Java. For details of the approach, pl...
详细信息
The paper describes a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be concisely written as reusable software abstracti...
详细信息
The paper describes a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be concisely written as reusable software abstractions. This makes it easier to write a clear modular code, to "mix and match" arbitration mechanisms, and to experiment with variations on existing mechanisms. The author describes the compilation process for the language, his experiences with it, and issues of efficiency expressiveness, and code size relative to other languages.
The proceedings contain 27 papers. The topic discussed include: the development of chez scheme;delimited dynamic binding;static typing for a faulty lambda calculus;simple unification-based type inference for GADTS;pol...
详细信息
ISBN:
(纸本)1595933093
The proceedings contain 27 papers. The topic discussed include: the development of chez scheme;delimited dynamic binding;static typing for a faulty lambda calculus;simple unification-based type inference for GADTS;polymorphism and separation in Hoare type theory;recursive modules for programming;from structures and factors to modules and units;the missing link-dynamic components for ML;static analysis for syntax objects;practical proofs of concurrent programs;transactional events;stabilizers: a modular checkpointing abstraction for concurrent functional programs;modelling deterministic concurrent I/O;modular development of certified program verifiers with a proof assistant;mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and reflection;fifteen years of functional pearls;a pattern for almost compositional functions;algebraic fusion of functions with an accumulating parameter and its improvement;and extensible programming with first-class cases.
The proceeding contains 34 papers. The topics discussed include: a type directed translation of MLF to system F;declarative programming for artificial intelligence applications;adding delimited and composable control ...
详细信息
ISBN:
(纸本)9781595938152
The proceeding contains 34 papers. The topics discussed include: a type directed translation of MLF to system F;declarative programming for artificial intelligence applications;adding delimited and composable control to a production programming environment;evaluating high-level distributed language constructs;subtyping and intersection types revisited;user-friendly functional programming for web mashups;a generic usage analysis with subeffect qualifiers;feedback directed implicit parallelism;faster laziness using dynamic pointer tagging;a type system for recursive modules;extensible pattern matching via a lightweight language extension;implicit phasing for R6RS libraries;call-pattern specialisation for haskell programs;bidirectionalization transformation based on automatic derivation of view complement functions;tangible functional programming;and termination analysis and call graph construction for higher-order functional programs.
functional programming advocates a style of programming in which the programmer seeks to find a sufficiently small, yet powerful, set of abstractions that capture an entire class of problems, and use these abstraction...
详细信息
The notation of functional programming (FP) provides a clear and general syntax for writing programs which have extremely simple semantics and exhibit a clear hierarchical structure. Unfortunately, functional language...
详细信息
A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. The system is based on the portable Gambit Scheme programming language and provides a ...
详细信息
A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. The system is based on the portable Gambit Scheme programming language and provides a flexible cross-platform environment for developing graphical applications on mobile devices as well as medical instrumentation interfaces running on embedded platforms. Real world applications of this framework for mobile diagnostics, telemonitoring and automated drug infusions are reported. The source code for the core framework is open source and available at: https://***/part-cw/lambdanative.
Branch-and-cut optimization solvers typically apply generic algorithms, e.g., cutting planes or primal heuristics, to expedite performance for many mathematical optimization problems. But solver software receives an i...
详细信息
Branch-and-cut optimization solvers typically apply generic algorithms, e.g., cutting planes or primal heuristics, to expedite performance for many mathematical optimization problems. But solver software receives an input optimization problem as vectors of equations and constraints containing no structural information. This article proposes automatically detecting named special structure using the pattern matching features of functional programming. Specifically, we deduce the industrially-relevant nonconvex nonlinear Pooling Problem within a mixed-integer nonlinear optimization problem and show that we can uncover pooling structure in optimization problems which are not pooling problems. Previous work has shown that preprocessing heuristics can find network structures;we show that we can additionally detect nonlinear pooling patterns. Finding named structures allows us to apply, to generic optimization problems, cutting planes or primal heuristics developed for the named structure. To demonstrate the recognition algorithm, we use the recognized structure to apply primal heuristics to a test set of standard pooling problems. (C) 2016 The Authors AIChE Journal published by Wiley Periodicals, Inc. on behalf of American Institute of Chemical Engineers
暂无评论