Inductive programming is the framework for automated programming, obtaining generalized recursive programs from ambiguous specifications such as input-output examples. Development of an inductive programming system at...
详细信息
ISBN:
(纸本)9783319213651;9783319213644
Inductive programming is the framework for automated programming, obtaining generalized recursive programs from ambiguous specifications such as input-output examples. Development of an inductive programming system at the level of human programmers is desired, but it involves the trade off between scale and versatility which are difficult to go together. This paper presents our research idea to enable synthesis of long programs while not limiting the algorithm to any domain, by automatically collecting the usage and request frequency of each function, estimating its usefulness, and reconstructing the component library containing component functions with which to synthesize desired functions. Hopefully this research will result in a more human-like automatic programming, which can lead to the development of adaptive planning with artificial general intelligence.
A special purpose cellular processor, based on the functional programming approach, is proposed for image processing applications. The basic data flow graph of the processor is defined according to the data structure ...
详细信息
A number of investigations into the use of the functional programming paradigm have been conducted through the Software Engineering Research Centre (SERC) over the past two years. The investigations have utilised the ...
详细信息
ISBN:
(纸本)0818688289
A number of investigations into the use of the functional programming paradigm have been conducted through the Software Engineering Research Centre (SERC) over the past two years. The investigations have utilised the Ericsson functional programming environment, Erlang. The results of these investigations, and on-going research, are covered in this paper.
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced intML, a functional programming language with primitives that support the i...
详细信息
ISBN:
(纸本)9783642171635
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced intML, a functional programming language with primitives that support the implementation of such algorithms. We have shown that IntML can express all LOGS PACE functions but have left open the question how easy it is in practice to program typical LOGSPACE algorithms in IntML. In this paper we develop algorithms for intmL type inference. We show that with type inference one can handle programs that could not be reasonably manipulated by hand. We do so by implementing in IntML, a typical LOGSPACE algorithm, a test for acyclicity of undirected graphs. Thus we show that with type inference Irian can express typical algorithmic patterns of LOGSPACE easily and in a natural way.
We present an interdisciplinary effort in the field of global environmental change, related to the understanding of the concept of 'vulnerability'. We have used functional programming to capture the generic as...
详细信息
We present an interdisciplinary effort in the field of global environmental change, related to the understanding of the concept of 'vulnerability'. We have used functional programming to capture the generic aspects of the myriad of definitions of vulnerability, and have used the resulting formalization to learn something new about vulnerability and to write some better software for vulnerability assessment. In the process, we have also found out something about formalization in general, about the advantages and disadvantages of dependent types, and about the role of computing science in the larger intellectual landscape.
Extensions of logic and functional programming are integrated in RELFUN. Its valued clauses comprise Horn clauses (‘true’-valued) and clauses with a distinguished ‘foot’ premise (returning arbitrary values). Both ...
详细信息
Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone. Mapping approaches cannot fully capture the conceptualization of sema...
详细信息
ISBN:
(纸本)9783662544341;9783662544334
Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone. Mapping approaches cannot fully capture the conceptualization of semantic data. In this paper, we present lambda(DL), a typed lambda-calculus with constructs for operating on semantic data. This is achieved by the integration of description logics into the lambda-calculus for both typing and data access or querying. The language is centered around several key design principles, in particular: (1) the usage of semantic conceptualizations as types, (2) subtype inference for these types, and (3) type-checked query access to the data by both ensuring the satisfiability of queries as well as typing query results precisely. The paper motivates the use of a designated type system for semantic data and it provides the theoretic foundation for the integration of description logics as well as the core formal definition of lambda(DL) including a proof of type safety.
In this paper, we present a functional programming model and a dataflow execution model similar to distributed computing frameworks, like Apache Spark and Flink. Our programming and execution model is suitable for any...
详细信息
ISBN:
(纸本)9781728126074
In this paper, we present a functional programming model and a dataflow execution model similar to distributed computing frameworks, like Apache Spark and Flink. Our programming and execution model is suitable for any platform, although its main target are safety-critical embedded systems. Therefore, we emphasize on low overhead, timing analyzability, and potential support for fault tolerance. We implemented our design for the x86 shared memory platform and showed that the performance is comparable to the performance of OpenMP.
This article presents the efforts made to develop a simulator for local energy exchanges by means of an energy marketplace designed as a multi-agent model. The objective of this article is not to focus on EDF's in...
详细信息
ISBN:
(纸本)9781450386449
This article presents the efforts made to develop a simulator for local energy exchanges by means of an energy marketplace designed as a multi-agent model. The objective of this article is not to focus on EDF's industrial use case by itself, but to share elements of experience regarding our use of functional programming (FP) in order to create this specific simulator and the generic layers on which it is built. The main contribution of this paper is the proposal of a three-step methodology (modelling, simulation, and exploitation phases) in which FP played a significant role in the translation of an agent-based system model into elements relevant to a simulation engine through different software layers. The developed approach was then validated on the local energy market case study.
Learning to program is difficult for most children. Most of the interfaces designed to help children experience and understand programming are based on imperative programming. However, early exposure to functional pro...
详细信息
ISBN:
(纸本)9781450351522
Learning to program is difficult for most children. Most of the interfaces designed to help children experience and understand programming are based on imperative programming. However, early exposure to functional programming have been found to have many benefits over imperative programming. We describe a tangible interface, Testudinata, that helps to make a fundamental concept of functional programming - function composition {more approachable to younger learners in elementary and middle school. Using Testudinata, learners can design, implement, and test various compositions of pre-made functions on a tangible user interface (TUI), while observing and comparing results on a graphical user interface (GUI). Through the combination of a TUI and GUI, the learners will be able to gain basic understanding of of function composition in a fun and engaging way.
暂无评论