University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

Integrating Information Flow Analysis in Unifying Theories of Programming

Simple item page
dc.contributor.authorMu, Chunyan
dc.contributor.authorLi, Guoqiang
dc.contributor.institutionUniversity of Aberdeen.Cybersecurity and Privacyen
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.date.accessioned2023-12-04T00:09:08Z
dc.date.available2023-12-04T00:09:08Z
dc.date.embargoedUntil2023-12-04
dc.date.issued2022-01-12
dc.descriptionThis research is supported by the China National R&D Key Research Program (2019YFB1705703) and the In-terdisciplinary Program of SJTU, Shanghai, China (No. YG2019ZDA07).en
dc.format.extent10
dc.format.extent211258
dc.identifier225682540
dc.identifierb05f2818-5c66-47fe-b259-19a8c7191c09
dc.identifier85125013324
dc.identifier.citationMu, C & Li, G 2022, Integrating Information Flow Analysis in Unifying Theories of Programming. in 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing. Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing), IEEE Computer Society, pp. 67-76, IEEE 26th Pacific Rim International Symposium on Dependable Computing, Perth, Australia, 1/12/21. https://doi.org/10.1109/PRDC53464.2021.00018en
dc.identifier.citationconferenceen
dc.identifier.doi10.1109/PRDC53464.2021.00018
dc.identifier.isbn9781665424776
dc.identifier.isbn9781665424769
dc.identifier.issn1555-094X
dc.identifier.otherORCID: /0000-0002-2988-6939/work/140426202
dc.identifier.urihttps://hdl.handle.net/2164/22325
dc.language.isoeng
dc.publisherIEEE Computer Society
dc.relation.ispartof2021 IEEE 26th Pacific Rim International Symposium on Dependable Computingen
dc.relation.ispartofseriesProceedings (IEEE Pacific Rim International Symposium on Dependable Computing)en
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleIntegrating Information Flow Analysis in Unifying Theories of Programmingen
dc.typeConference itemen

Files

Original bundle

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

Collections

All research