Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

Research output: Contribution to journal › Conference article › peer-review

130 Downloads (Pure)

Original language	English
Journal	Lecture Notes in Computer Science
Volume	TACAS 2022
Publication status	Accepted/In press - 24 Dec 2021
Event	TACAS 2022 - Duration: 2 Apr 2022 → 7 Apr 2022

Access to Document

@article{07e90bb8edbe402d8c7a70a9f1fcd76c,

title = "Kmclib: Automated Inference and Verification of Session Types from OCaml Programs",

author = "Keigo Imai and Julien Lange and Rumyana Neykova",

year = "2021",

month = dec,

day = "24",

language = "English",

volume = "TACAS 2022",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "TACAS 2022 ; Conference date: 02-04-2022 Through 07-04-2022",

}

TY - JOUR

T1 - Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

AU - Imai, Keigo

AU - Lange, Julien

AU - Neykova, Rumyana

PY - 2021/12/24

Y1 - 2021/12/24

M3 - Conference article

SN - 0302-9743

VL - TACAS 2022

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - TACAS 2022

Y2 - 2 April 2022 through 7 April 2022

ER -