- Title
- String diagrams for modelling functional programming
- Creator
- Motara, Yusuf, M
- Date
- 2020
- Type
- text
- Type
- article
- Identifier
- http://hdl.handle.net/10962/429022
- Identifier
- vital:72554
- Identifier
- https://ieeexplore.ieee.org/abstract/document/9334072
- Description
- 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 programming is built on a solid mathematical basis and it may be possible to adapt graphical notation from the mathematical domain for such modelling. This work examines string diagrams as a way to model certain functional abstractions. A proposed notation is demonstrated in the contexts of equational reasoning and descriptive modelling, and is found to be suitable for both.
- Format
- 6 pages, pdf
- Language
- English
- Relation
- International Multidisciplinary Information Technology and Engineering Conference (IMITEC), Motara, Y.M., 2020, November. String diagrams for modelling functional programming. In 2020 2nd International Multidisciplinary Information Technology and Engineering Conference (IMITEC) (pp. 1-7). IEEE, International Multidisciplinary Information Technology and Engineering Conference (IMITEC) volume 2020 number 1 1 7 2020 Conference
- Rights
- Publisher
- Rights
- Use of this resource is governed by the terms and conditions of the IEEE Xplore Terms of Use Statement (https://ieeexplore.ieee.org/Xplorehelp/overview-of-ieee-xplore/terms-of-use)
- Hits: 43
- Visitors: 47
- Downloads: 8
Collections
Motara, Yusuf (Dr)
RU Department of Computer Science
SDG 09. Industry, Innovation and Infrastructure
| Thumbnail | File | Description | Size | Format | |||
|---|---|---|---|---|---|---|---|
| View Details Download | SOURCE1 | String diagrams for modelling functional programming.pdf | 665 KB | Adobe Acrobat PDF | View Details Download |