Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
FARKA, FRANTIŠEK, KOMENDANTSKYA, EKATERINA, HAMMOND, KEVIN
Published in Theory and practice of logic programming (01.07.2018)
Published in Theory and practice of logic programming (01.07.2018)
Get full text
Journal Article
On algebraic abstractions for concurrent separation logics
Farka, František, Nanevski, Aleksandar, Banerjee, Anindya, Delbianco, Germán Andrés, Fábregas, Ignacio
Published in Proceedings of ACM on programming languages (01.01.2021)
Published in Proceedings of ACM on programming languages (01.01.2021)
Get full text
Journal Article
On Algebraic Abstractions for Concurrent Separation Logics
Farka, František, Nanevski, Aleksandar, Banerjee, Anindya, Germán Andrés Delbianco, Fábregas, Ignacio
Published in arXiv.org (04.03.2021)
Published in arXiv.org (04.03.2021)
Get full text
Paper
Journal Article
Developing With Formal Methods at BedRock Systems, Inc
Malecha, Gregory, Stewart, Gordon, Farka, Frantisek, Haag, Jasper, Hirai, Yoichi
Published in IEEE security & privacy (01.05.2022)
Published in IEEE security & privacy (01.05.2022)
Get full text
Magazine Article