Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Extensions to the Predicate Programming Language for Efficient Graph Processing. / Shelekhov, Vladimir.
Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., 2022. p. 65-71 (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
}
TY - GEN
T1 - Extensions to the Predicate Programming Language for Efficient Graph Processing
AU - Shelekhov, Vladimir
PY - 2022
Y1 - 2022
N2 - High-performance and correct implementation of graph algorithms for parallel hardware is a challenge. A set-based approach to develop efficient and correct graph processing algorithms in the framework of predicate software engineering is proposed. The efficiency of predicate programs is achieved by applying optimizing transformations.
AB - High-performance and correct implementation of graph algorithms for parallel hardware is a challenge. A set-based approach to develop efficient and correct graph processing algorithms in the framework of predicate software engineering is proposed. The efficiency of predicate programs is achieved by applying optimizing transformations.
KW - GraphBLAS
KW - Why3 verification system
KW - deductive verification
KW - graph algorithm
KW - predicate programming
UR - https://www.scopus.com/inward/record.url?eid=2-s2.0-85146280413&partnerID=40&md5=e1bbdb6d051b7740dbc5e4d06216add4
UR - https://www.mendeley.com/catalogue/0e46df0f-80fc-3ee3-ab23-2c16bfd42133/
U2 - 10.1109/IVMEM57067.2022.9983960
DO - 10.1109/IVMEM57067.2022.9983960
M3 - Conference contribution
SN - 9781665492973
T3 - Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022
SP - 65
EP - 71
BT - Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2022 Ivannikov Memorial Workshop, IVMEM 2022
Y2 - 23 September 2022 through 24 September 2022
ER -
ID: 45708929