A Language for Compositional Programming: A Rationale and Design Език за композиционно програмиране: Обосновка и конструкция

Bantchev, Boyko. "A Language for Compositional Programming: A Rationale and Design Език за композиционно програмиране: Обосновка и конструкция." Union of Bulgarian Mathematicians 40.1 (2011): 236-244. <http://eudml.org/doc/250980>.

@article{Bantchev2011,
abstract = {Бойко Бл. Банчев - Представена е обосновка и описание на език за програмиране в композиционен стил за опитни и учебни цели. Под “композиционен” имаме предвид функционален стил на програмиране, при който пресмятането е йерархия от композиции и прилагания на функции. Един от данновите типове на езика е този на геометричните фигури, които могат да бъдат получавани чрез прости правила за съотнасяне и така също образуват йерархични композиции. Езикът е силно повлиян от GeomLab, но по редица свойства се различава от него значително. Статията разглежда основните черти на езика; подробното му описание и фигурноконструктивните му възможности ще бъдат представени в съпътстваща публикация.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.},
author = {Bantchev, Boyko},
journal = {Union of Bulgarian Mathematicians},
keywords = {Programming Languages; Functional Programming},
language = {eng},
number = {1},
pages = {236-244},
publisher = {Union of Bulgarian Mathematicians},
title = {A Language for Compositional Programming: A Rationale and Design Език за композиционно програмиране: Обосновка и конструкция},
url = {http://eudml.org/doc/250980},
volume = {40},
year = {2011},
}

TY - JOUR
AU - Bantchev, Boyko
TI - A Language for Compositional Programming: A Rationale and Design Език за композиционно програмиране: Обосновка и конструкция
JO - Union of Bulgarian Mathematicians
PY - 2011
PB - Union of Bulgarian Mathematicians
VL - 40
IS - 1
SP - 236
EP - 244
AB - Бойко Бл. Банчев - Представена е обосновка и описание на език за програмиране в композиционен стил за опитни и учебни цели. Под “композиционен” имаме предвид функционален стил на програмиране, при който пресмятането е йерархия от композиции и прилагания на функции. Един от данновите типове на езика е този на геометричните фигури, които могат да бъдат получавани чрез прости правила за съотнасяне и така също образуват йерархични композиции. Езикът е силно повлиян от GeomLab, но по редица свойства се различава от него значително. Статията разглежда основните черти на езика; подробното му описание и фигурноконструктивните му възможности ще бъдат представени в съпътстваща публикация.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.
LA - eng
KW - Programming Languages; Functional Programming
UR - http://eudml.org/doc/250980
ER -