Learning nominal automata. / Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał.

POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ed. / Andrew D. Gordon; Giuseppe Castagna. Association for Computing Machinery (ACM), 2017. p. 613-625 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Learning nominal automata. / Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał.

POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ed. / Andrew D. Gordon; Giuseppe Castagna. Association for Computing Machinery (ACM), 2017. p. 613-625 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Moerman, J, Sammartino, M, Silva, A, Klin, B & Szynwelski, M 2017, Learning nominal automata. in AD Gordon & G Castagna (eds), POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery (ACM), pp. 613-625, 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 15/01/17. https://doi.org/10.1145/3009837.3009879

APA

Moerman, J., Sammartino, M., Silva, A., Klin, B., & Szynwelski, M. (2017). Learning nominal automata. In A. D. Gordon, & G. Castagna (Eds.), POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (pp. 613-625). (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). Association for Computing Machinery (ACM). https://doi.org/10.1145/3009837.3009879

Vancouver

Moerman J, Sammartino M, Silva A, Klin B, Szynwelski M. Learning nominal automata. In Gordon AD, Castagna G, editors, POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM). 2017. p. 613-625. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). https://doi.org/10.1145/3009837.3009879

Author

Moerman, Joshua ; Sammartino, Matteo ; Silva, Alexandra ; Klin, Bartek ; Szynwelski, Michał. / Learning nominal automata. POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. editor / Andrew D. Gordon ; Giuseppe Castagna. Association for Computing Machinery (ACM), 2017. pp. 613-625 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

BibTeX

@inproceedings{5db8afb33d314f25a4cede3cf6b5484d,
title = "Learning nominal automata",
keywords = "(Non)Deterministic Finite Automata, Active Learning, Functional Programming, Nominal Automata",
author = "Joshua Moerman and Matteo Sammartino and Alexandra Silva and Bartek Klin and Micha{\l} Szynwelski",
year = "2017",
month = jan,
doi = "10.1145/3009837.3009879",
language = "English",
series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "Association for Computing Machinery (ACM)",
pages = "613--625",
editor = "Gordon, {Andrew D.} and Giuseppe Castagna",
booktitle = "POPL 2017",
address = "United States",
note = "44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 ; Conference date: 15-01-2017 Through 21-01-2017",

}

RIS

TY - GEN

T1 - Learning nominal automata

AU - Moerman, Joshua

AU - Sammartino, Matteo

AU - Silva, Alexandra

AU - Klin, Bartek

AU - Szynwelski, Michał

PY - 2017/1

Y1 - 2017/1

KW - (Non)Deterministic Finite Automata

KW - Active Learning

KW - Functional Programming

KW - Nominal Automata

U2 - 10.1145/3009837.3009879

DO - 10.1145/3009837.3009879

M3 - Conference contribution

AN - SCOPUS:85015286402

T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SP - 613

EP - 625

BT - POPL 2017

A2 - Gordon, Andrew D.

A2 - Castagna, Giuseppe

PB - Association for Computing Machinery (ACM)

T2 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017

Y2 - 15 January 2017 through 21 January 2017

ER -