Geodesic
A Language for Compositional Programming: A Rationale and Design
Mathematics and Education in Mathematics, Tome 40 (2011) no. 1, pp. 236-244.

Voir la notice de l'article provenant de la source Bulgarian Digital Mathematics Library

A rationale and description of a language for exploratory and educational programming in a compositional style is presented. By ‘compositional’ a functional programming style is meant where the computation is a hierarchy of function compositions and applications. One of the datatypes of the language is that of the geometrical figures that can be obtained by simple rules of spatial correlation, thus, too, forming hierarchical compositions. The language is strongly influenced by GeomLab, but differs from it substantially in many respects. The paper discusses the main features of the language; the detailed description along with the picture construction facilities will be presented in an accompanying publication. *2000 Mathematics Subject Classification: 68N15, 68N18.
Keywords: Programming Languages, Functional Programming 
@article{MEM_2011_40_1_a24,
     author = {Bantchev, Boyko},
     title = {A {Language} for {Compositional} {Programming:} {A} {Rationale} and {Design}},
     journal = {Mathematics and Education in Mathematics},
     pages = {236--244},
     publisher = {mathdoc},
     volume = {40},
     number = {1},
     year = {2011},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MEM_2011_40_1_a24/}
}
TY  - JOUR
AU  - Bantchev, Boyko
TI  - A Language for Compositional Programming: A Rationale and Design
JO  - Mathematics and Education in Mathematics
PY  - 2011
SP  - 236
EP  - 244
VL  - 40
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MEM_2011_40_1_a24/
LA  - en
ID  - MEM_2011_40_1_a24
ER  - 
%0 Journal Article
%A Bantchev, Boyko
%T A Language for Compositional Programming: A Rationale and Design
%J Mathematics and Education in Mathematics
%D 2011
%P 236-244
%V 40
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MEM_2011_40_1_a24/
%G en
%F MEM_2011_40_1_a24
Bantchev, Boyko. A Language for Compositional Programming: A Rationale and Design. Mathematics and Education in Mathematics, Tome 40 (2011) no. 1, pp. 236-244. http://geodesic.mathdoc.fr/item/MEM_2011_40_1_a24/