Iaroslav Golovanov

According to our database, Iaroslav Golovanov authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Behavioural separation with parallel usages.

Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020