Show simple item record

dc.contributor.authorBride, H
dc.contributor.authorDong, JS
dc.contributor.authorHou, Z
dc.contributor.authorMahony, B
dc.contributor.authorMccarthy, J
dc.date.accessioned2021-04-29T04:17:04Z
dc.date.available2021-04-29T04:17:04Z
dc.date.issued2020
dc.identifier.isbn9781728185583
dc.identifier.doi10.1109/ICECCS51672.2020.00011
dc.identifier.urihttp://hdl.handle.net/10072/404026
dc.description.abstractReflection 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.peerreviewedYes
dc.publisherIEEE
dc.relation.ispartofconferencename2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS)
dc.relation.ispartofconferencetitleProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
dc.relation.ispartofdatefrom2020-10-28
dc.relation.ispartofdateto2020-10-31
dc.relation.ispartofpagefrom31
dc.relation.ispartofpageto36
dc.subject.fieldofresearchComputation Theory and Mathematics
dc.subject.fieldofresearchElectrical and Electronic Engineering
dc.subject.fieldofresearchcode0802
dc.subject.fieldofresearchcode0906
dc.titleRL: A Language for Formal Engineering
dc.typeConference output
dc.type.descriptionE1 - Conferences
dcterms.bibliographicCitationBride, 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.updated2021-04-29T04:16:16Z
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song
gro.griffith.authorBride, Hadrien J.
gro.griffith.authorHou, Zhe


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record