dc.contributor.author | Bride, H | |
dc.contributor.author | Dong, JS | |
dc.contributor.author | Hou, Z | |
dc.contributor.author | Mahony, B | |
dc.contributor.author | Mccarthy, J | |
dc.date.accessioned | 2021-04-29T04:17:04Z | |
dc.date.available | 2021-04-29T04:17:04Z | |
dc.date.issued | 2020 | |
dc.identifier.isbn | 9781728185583 | |
dc.identifier.doi | 10.1109/ICECCS51672.2020.00011 | |
dc.identifier.uri | http://hdl.handle.net/10072/404026 | |
dc.description.abstract | Reflection is a notion that naturally emerges from philosophy, mathematics, and sciences. In short, reflection is the ability of an entity to alter its own behaviour. This paper suggests that reflection is crucial to the development of complex and trustworthy software systems. We present RL, a reflective computational model that aims to support the development of a large-scale framework for modelling and manipulating structured data. We give the formal semantics for this computational model. We also share preliminary work on a proof-of-concept implementation of RL and discuss future work. | |
dc.description.peerreviewed | Yes | |
dc.publisher | IEEE | |
dc.relation.ispartofconferencename | 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) | |
dc.relation.ispartofconferencetitle | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS | |
dc.relation.ispartofdatefrom | 2020-10-28 | |
dc.relation.ispartofdateto | 2020-10-31 | |
dc.relation.ispartofpagefrom | 31 | |
dc.relation.ispartofpageto | 36 | |
dc.subject.fieldofresearch | Electrical engineering | |
dc.subject.fieldofresearchcode | 4008 | |
dc.title | RL: A Language for Formal Engineering | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dcterms.bibliographicCitation | Bride, H; Dong, JS; Hou, Z; Mahony, B; Mccarthy, J, RL: A Language for Formal Engineering, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2020, pp. 31-36 | |
dc.date.updated | 2021-04-29T04:16:16Z | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Dong, Jin-Song | |
gro.griffith.author | Hou, Zhe | |