Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. / Imai, Keigo ; Lange, Julien; Neykova, Rumyana.

In: Lecture Notes in Computer Science, Vol. TACAS 2022, 24.12.2021.

Research output: Contribution to journalConference articlepeer-review

Forthcoming

Standard

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. / Imai, Keigo ; Lange, Julien; Neykova, Rumyana.

In: Lecture Notes in Computer Science, Vol. TACAS 2022, 24.12.2021.

Research output: Contribution to journalConference articlepeer-review

Harvard

Imai, K, Lange, J & Neykova, R 2021, 'Kmclib: Automated Inference and Verification of Session Types from OCaml Programs', Lecture Notes in Computer Science, vol. TACAS 2022.

APA

Imai, K., Lange, J., & Neykova, R. (Accepted/In press). Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. Lecture Notes in Computer Science, TACAS 2022.

Vancouver

Imai K, Lange J, Neykova R. Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. Lecture Notes in Computer Science. 2021 Dec 24;TACAS 2022.

Author

Imai, Keigo ; Lange, Julien ; Neykova, Rumyana. / Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. In: Lecture Notes in Computer Science. 2021 ; Vol. TACAS 2022.

BibTeX

@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",

}

RIS

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

VL - TACAS 2022

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

T2 - TACAS 2022

Y2 - 2 April 2022 through 7 April 2022

ER -