I agree that this site is using cookies. You can find further informations here.
X
Golovanov, Iaroslav
5  results:
Search for persons X
?
1

Behavioural separation with parallel usages:

, In: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs,
Golovanov, Iaroslav ; Hüttel, Hans ; Jakobsen, Mathias. - p. 51-58 , 2021
Link: https://dl.acm.org/doi/1..
 
?
2

Behavioural Types for Memory and Method Safety in a Core Ob..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav... - p. 105-124 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Behavioural Types for Memory and Method Safety in a Core Ob..:

Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav...
info:eu-repo/grantAgreement//778233/EU/Behavioural Application Program Interfaces/BEHAPI.  , 2020
Link: https://hal.inria.fr/hal..
 
?
4

Behavioural Types for Memory and Method Safety in a Core Ob..:

Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav...
info:eu-repo/grantAgreement//778233/EU/Behavioural Application Program Interfaces/BEHAPI.  , 2020
Link: https://inria.hal.scienc..
 
?
5

Behavioural Types for Memory and Method Safety in a Core Ob..:

Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav...
http://arxiv.org/abs/2002.12793.  , 2020
Link: http://arxiv.org/abs/200..
 
1-5