作者：
POOLE, IMRC
HUMAN GENET UNITEDINBURGH EH4 2XUSCOTLAND
A programming environment is described which allows image analysis algorithms to be prototyped in the purely functional language Miranda. Low level pixel manipulations are in fact implemented by a pre-existing C coded...
详细信息
We present the approach underlying a course on Domain-Specific Languages of Mathematics [16], currently being developed at Chalmers in response to difficulties faced by third-year students in learning and applying cla...
详细信息
We present the approach underlying a course on Domain-Specific Languages of Mathematics [16], currently being developed at Chalmers in response to difficulties faced by third-year students in learning and applying classical mathematics (mainly real and complex analysis). The main idea is to encourage the students to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved and, when necessary, to introduce new abstractions;to give calculational proofs;to pay attention to the syntax of the mathematical expressions;and, finally, to organise the resulting functions and types in domain-specific languages.
Developing macro queries in software systems is a complex task for many users. Geographical information systems (GIS) are large software systems that require much effort to develop expertise in. A functional programmi...
详细信息
The MateFun project arises with the intention of approaching disciplines that intersect in the field of education, based on the transversality of information and communication technologies with respect to Engineering,...
详细信息
ISBN:
(纸本)9781728104379
The MateFun project arises with the intention of approaching disciplines that intersect in the field of education, based on the transversality of information and communication technologies with respect to Engineering, Communications, Psychology, Teaching and Pedagogy. In Uruguay, computer courses are increasingly being integrated into curricular content, since learning to program seems to be part of the skills needed for today's people. However, programming in general is absent in mathematics teaching, contrary to the inherent relationship of both. In turn, according to 2015 data from the Educational Monitor of the National Administration of Public Education of Uruguay, Mathematics is the least approved subject of the basic secondary cycle. MateFun is a functional programming language, accessible from a web application, especially aimed to math functions learning. It is intended that through MateFun the learning of programming strengthens the appropriation of the concept of mathematical function, at the same through this project we seek to generate scientific evidence of the transfer or the contributions of programming learning to math. Preliminary data show that the adolescents who experimented with MateFun had similar learning to the control group in mathematical functions, but they also acquired basic knowledge of functional programming.
We report on an extension of the Opal system that allows the use of reflections. Using reflections, a programmer can query information Eke the type of an object at runtime. The type can in turn be queried for properti...
详细信息
ISBN:
(纸本)3540678646
We report on an extension of the Opal system that allows the use of reflections. Using reflections, a programmer can query information Eke the type of an object at runtime. The type can in turn be queried for properties like the constructor and deconstructor functions, and the resulting reflected functions can be evaluated. These facilities can be used for generic meta-programming. We describe the reflection interface of Opal and its applications, and sketch the implementation. For an existing language implementation like Opal's the extension by a reflection facility is challenging: in a statically typed language the management of runtime type information seems to be an alien objective. However, it turns out that runtime type information can be incorporated in an elegant way by a source-level transformation and an appropriate set of library modules. We show how this transformation can be done without changing the Opal core system and causing runtime overhead only where reflections are actually used.
This paper gives an overview of the concurrent functional programming language and its development, dissemination, and use. Erlang was developed at Ericsson and is used for several large and important telecom systems....
详细信息
ISBN:
(纸本)0792373316
This paper gives an overview of the concurrent functional programming language and its development, dissemination, and use. Erlang was developed at Ericsson and is used for several large and important telecom systems. It is also available externally, both supported and through open source. Erlang provides a highly relevant case-study of technology diffusion since its development touches upon many relevant topics such as applied research in the industrial environment and spread of technology through open source.
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.
暂无评论