It is currently impossible to model functional programs in the same way that UML is used to model object-oriented programs: no analogous graphical notation exists. Unlike object-oriented programs, however, functional ...
详细信息
functional programming systems, although they have nice theoretical properties and elegant implementations, have failed to make any significant impact in the practical world of applications programming. We shall descr...
详细信息
In this paper we deal the recursion and corecursion in functional programming. We discuss about the morphisms which express the recursion or corecursion, resp. We apply the linear logic which provides a logical perspe...
详细信息
The purpose of this paper is twofold. Firstly we show how attributes in an attribute grammar can be simply and efficiently evaluated using a lazy functional language. The class of attribute grammars we can deal with a...
详细信息
The paper outlines the programming language FAD. FAD is a functional programming system of the kind described by Backus (Backus78]. FAD supports abstract data types, parameterized types, and generic functions. A singl...
详细信息
Inductive functional programming (IFP) is a research field extending from software science to artificial intelligence that deals with functional program synthesis based on generalization from ambiguous specifications,...
详细信息
Inductive functional programming (IFP) is a research field extending from software science to artificial intelligence that deals with functional program synthesis based on generalization from ambiguous specifications, usually given as input-output example pairs. Currently, the approaches to IFP can be categorized into two general groups: the analytical approach that is based on analysis of the input-output example pairs, and the generate-and-test approach that is based on generation and testing of many candidate programs. This paper proposes a new analytical inductive functional programming system that generates, tests, and selects from many program candidates. For generating many candidate programs, the proposed system uses a new variant of Igor II H, the exemplary analytical inductive functional programming algorithm. This new system preserves the efficiency features of analytical approaches, while being robust to changes in the number of input-output examples while minimizing the possibility of generating unintended programs. In addition, this research can be considered a milestone in the fusion of both approaches in that it provides an analytical algorithm implemented in the same way as a generate-and-test algorithm and reveals the strengths and weaknesses of both approaches.
Scientists are continually faced with the need to express complex mathematical notions in code. The renaissance of functional languages such as LISP and Haskell is often credited to their ability to implement complex ...
详细信息
functional-style programming and languages have an important role to play in the software life cycle, but for a variety of technical and organisational reasons are of limited utility until they are integrated with exi...
详细信息
Earlier this year, Microsoft released Visual Studio 2010 with full support for the F# functional programming language. In this talk, we will look at what this meant, both technically and non-technically, and some of t...
详细信息
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type analysis and aspect-oriented programmin...
详细信息
暂无评论