University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

Bunch theory : Axioms, logic, applications and model

Simple item page
dc.contributor.authorStoddart, Bill
dc.contributor.authorDunne, Steve
dc.contributor.authorMu, Chunyan
dc.contributor.authorZeyda, Frank
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.contributor.institutionUniversity of Aberdeen.Cybersecurity and Privacyen
dc.date.accessioned2024-05-28T14:21:00Z
dc.date.available2024-05-28T14:21:00Z
dc.date.issued2024-08-01
dc.descriptionWe thank the anonymous referees, whose comments have enabled us to greatly improve the presentation of this paper. We warmly thank Eric Hehner for extended discussions and colleagues from the BCS Formal Aspects special interest group for their interest and comments.en
dc.description.statusPeer revieweden
dc.format.extent21
dc.format.extent731255
dc.identifier289579268
dc.identifier1b6740bf-0694-45a1-ac0a-76c645839f69
dc.identifier85193843372
dc.identifier.citationStoddart, B, Dunne, S, Mu, C & Zeyda, F 2024, 'Bunch theory : Axioms, logic, applications and model', Journal of Logical and Algebraic Methods in Programming, vol. 140, 100977. https://doi.org/10.1016/j.jlamp.2024.100977en
dc.identifier.doi10.1016/j.jlamp.2024.100977
dc.identifier.otherORCID: /0000-0002-2988-6939/work/160847960
dc.identifier.urihttps://hdl.handle.net/2164/23525
dc.identifier.vol140en
dc.language.isoeng
dc.relation.ispartofJournal of Logical and Algebraic Methods in Programmingen
dc.subjectBunch-theoryen
dc.subjectPartial-functionsen
dc.subjectLogicen
dc.subjectDenotational-modelen
dc.subjectBacktrackingen
dc.subjectRefinement-calculusen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleBunch theory : Axioms, logic, applications and modelen
dc.typeJournal articleen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Stoddart_etal_JLAMP_Bunch_Theory_Axioms_VOR.pdf
Size:
714.12 KB
Format:
Adobe Portable Document Format
Download

Collections

All research