Journal ArticleFunction graphs provide graphical models of programs based on function application. The uses of such models include provision of a semantic framework for functional programs, explication of the structure of complex systems based on function application, increasing proximity of programs to certain application domains, resolution of ambiguities in programs based upon systems of equations, and representation of executable programs in machines based upon data flow execution. Application examples and underlying theory of function graphs are presented
This paper has two goals. The first is to present a model of the acquisition of a concept image of f...
Students have difficulties in understanding graphs of functions. We have observed that our night sch...
AbstractA calculus and a model for a first-order functional language with sharing is presented. In m...
Data flow languages form a subclass of the languages which are based primarily upon function applica...
This thesis is an investigation of graph algorithms in the non-strict purely functional language Has...
This paper is concerned with a class of parallel computations which can be represented by a graphica...
Abstract. We present a minimal function graph semantics for a higher-order functional language with ...
Journal ArticleThis paper describes an effective means for programming shared memory multiprocessors...
AbstractAn implementation oriented modification of lambda-calculus is presented together with some a...
2018 Fall.Includes bibliographical references.Underlying many, if not all, areas of mathematics is c...
Functional logic languages are very high level programming languages which allow to define in a unif...
Journal ArticleA programming language kernel is presented where an algorithm is a function defined t...
The data structures used in the authors' functional language graph reduction implementations are des...
We designed a set of activities on one real variable functions, based on various semiotic registers ...
syntax: G ::= fV 1 ; : : : ; V n g (A graph is a set of vertices) V ::= a ; LAMBDA ; ; ; (d; e) j ...
This paper has two goals. The first is to present a model of the acquisition of a concept image of f...
Students have difficulties in understanding graphs of functions. We have observed that our night sch...
AbstractA calculus and a model for a first-order functional language with sharing is presented. In m...
Data flow languages form a subclass of the languages which are based primarily upon function applica...
This thesis is an investigation of graph algorithms in the non-strict purely functional language Has...
This paper is concerned with a class of parallel computations which can be represented by a graphica...
Abstract. We present a minimal function graph semantics for a higher-order functional language with ...
Journal ArticleThis paper describes an effective means for programming shared memory multiprocessors...
AbstractAn implementation oriented modification of lambda-calculus is presented together with some a...
2018 Fall.Includes bibliographical references.Underlying many, if not all, areas of mathematics is c...
Functional logic languages are very high level programming languages which allow to define in a unif...
Journal ArticleA programming language kernel is presented where an algorithm is a function defined t...
The data structures used in the authors' functional language graph reduction implementations are des...
We designed a set of activities on one real variable functions, based on various semiotic registers ...
syntax: G ::= fV 1 ; : : : ; V n g (A graph is a set of vertices) V ::= a ; LAMBDA ; ; ; (d; e) j ...
This paper has two goals. The first is to present a model of the acquisition of a concept image of f...
Students have difficulties in understanding graphs of functions. We have observed that our night sch...
AbstractA calculus and a model for a first-order functional language with sharing is presented. In m...