Extensions to the Predicate Programming Language for Efficient Graph Processing › Research Explorer

Novosibirsk State University's Research Portal

Extensions to the Predicate Programming Language for Efficient Graph Processing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Programming Section

DOI

https://doi.org/10.1109/IVMEM57067.2022.9983960
Final published version

Vladimir Shelekhov

Original language	English
Title of host publication	Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	65-71
Number of pages	7
ISBN (Print)	9781665492973
DOIs	https://doi.org/10.1109/IVMEM57067.2022.9983960
Publication status	Published - 2022
Event	2022 Ivannikov Memorial Workshop, IVMEM 2022 - Казань, Russian Federation Duration: 23 Sept 2022 → 24 Sept 2022 https://www.ivannikov-ws.org/

Publication series

Name	Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022

Conference

Conference	2022 Ivannikov Memorial Workshop, IVMEM 2022
Abbreviated title	IVMEM 2022
Country/Territory	Russian Federation
City	Казань
Period	23.09.2022 → 24.09.2022
Internet address	https://www.ivannikov-ws.org/

Research areas

GraphBLAS, Why3 verification system, deductive verification, graph algorithm, predicate programming

OECD FOS+WOS

1.02 COMPUTER AND INFORMATION SCIENCES

ID: 45708929