Learning nominal automata

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

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

64 Downloads (Pure)
Original languageEnglish
Title of host publicationPOPL 2017
Subtitle of host publicationProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
EditorsAndrew D. Gordon, Giuseppe Castagna
PublisherAssociation for Computing Machinery (ACM)
Pages613-625
Number of pages13
ISBN (Electronic)9781450346603
DOIs
Publication statusPublished - Jan 2017
Event44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 - Paris, France
Duration: 15 Jan 201721 Jan 2017

Publication series

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

Conference

Conference44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017
Country/TerritoryFrance
CityParis
Period15/01/1721/01/17

Keywords

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

Cite this