Distributive laws in programming structures
Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approaches. Thes...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
2010
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/11077/ |
| _version_ | 1848791188613627904 |
|---|---|
| author | Rypacek, Ondrej |
| author_facet | Rypacek, Ondrej |
| author_sort | Rypacek, Ondrej |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approaches. These applications have always meant leaps in understanding the nature of the subject. However, distributive laws have not yet been given the attention they deserve. One of the reasons for this omission is certainly the lack of a formal notion of distributive laws in their full generality. This hinders the discovery and formal description of occurrences of distributive laws, which is the precursor of any formal manipulation.
In this thesis, an approach to formalisation of distributive laws is presented based on the functorial approach to formal Category Theory pioneered by Lawvere and others, notably Gray. The proposed formalism discloses a rather simple nature of distributive laws of the kind found in programming structures based on lax 2-naturality and Gray's tensor product of 2-categories. It generalises the existing more specific notions of distributive laws. General notions of products, coproducts and composition of distributive laws are studied and conditions for their construction given. Finally, the proposed formalism is put to work in establishing a semantical equivalence between a large class of functional and object-based programs. |
| first_indexed | 2025-11-14T18:24:32Z |
| format | Thesis (University of Nottingham only) |
| id | nottingham-11077 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T18:24:32Z |
| publishDate | 2010 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-110772025-02-28T11:11:08Z https://eprints.nottingham.ac.uk/11077/ Distributive laws in programming structures Rypacek, Ondrej Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approaches. These applications have always meant leaps in understanding the nature of the subject. However, distributive laws have not yet been given the attention they deserve. One of the reasons for this omission is certainly the lack of a formal notion of distributive laws in their full generality. This hinders the discovery and formal description of occurrences of distributive laws, which is the precursor of any formal manipulation. In this thesis, an approach to formalisation of distributive laws is presented based on the functorial approach to formal Category Theory pioneered by Lawvere and others, notably Gray. The proposed formalism discloses a rather simple nature of distributive laws of the kind found in programming structures based on lax 2-naturality and Gray's tensor product of 2-categories. It generalises the existing more specific notions of distributive laws. General notions of products, coproducts and composition of distributive laws are studied and conditions for their construction given. Finally, the proposed formalism is put to work in establishing a semantical equivalence between a large class of functional and object-based programs. 2010 Thesis (University of Nottingham only) NonPeerReviewed application/pdf en arr https://eprints.nottingham.ac.uk/11077/1/thesis.pdf Rypacek, Ondrej (2010) Distributive laws in programming structures. PhD thesis, University of Nottingham. functional programming distributive laws category theory 2-categories mathematics of programming programming language theory theory of computation |
| spellingShingle | functional programming distributive laws category theory 2-categories mathematics of programming programming language theory theory of computation Rypacek, Ondrej Distributive laws in programming structures |
| title | Distributive laws in programming structures |
| title_full | Distributive laws in programming structures |
| title_fullStr | Distributive laws in programming structures |
| title_full_unstemmed | Distributive laws in programming structures |
| title_short | Distributive laws in programming structures |
| title_sort | distributive laws in programming structures |
| topic | functional programming distributive laws category theory 2-categories mathematics of programming programming language theory theory of computation |
| url | https://eprints.nottingham.ac.uk/11077/ |