Learning nominal automata

Joshua Moerman; Matteo Sammartino; Alexandra Silva; Bartek Klin; Michał Szynwelski

doi:10.1145/3009837.3009879

Learning nominal automata

Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

92 Downloads (Pure)

Original language	English
Title of host publication	POPL 2017
Subtitle of host publication	Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Editors	Andrew D. Gordon, Giuseppe Castagna
Publisher	Association for Computing Machinery (ACM)
Pages	613-625
Number of pages	13
ISBN (Electronic)	9781450346603
DOIs	https://doi.org/10.1145/3009837.3009879
Publication status	Published - Jan 2017
Event	44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 - Paris, France Duration: 15 Jan 2017 → 21 Jan 2017

Publication series

Name	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)	0730-8566

Conference

Conference	44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017
Country/Territory	France
City	Paris
Period	15/01/17 → 21/01/17

Keywords

(Non)Deterministic Finite Automata
Active Learning
Functional Programming
Nominal Automata

Access to Document

10.1145/3009837.3009879

Accepted ManuscriptAccepted author manuscript, 414 KB

Cite this

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

Moerman, Joshua ; Sammartino, Matteo ; Silva, Alexandra et al. / 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).

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

}

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

Learning nominal automata. / Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra et al.
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 proceeding › Conference contribution

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 -

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). doi: 10.1145/3009837.3009879