Regular and first-order list functions
- Submitting institution
-
City, University of London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 808
- Type
- E - Conference contribution
- DOI
-
10.1145/3209108.3209163
- Title of conference / published proceedings
- LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
- First page
- 125
- Volume
- -
- Issue
- -
- ISSN
- 1043-6871
- Open access status
- Technical exception
- Month of publication
- July
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 2
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- String-to-string transducers (SST) were introduced by Alur (CAV Award 2008, Alonzo-Church Award 2016) in 2008, yielding since then many works on the topic. This paper is significant and original as it gives a completely new intuititive, easily programmable and easily extensible characterisation of SST compared to previous works. Cited by Alur in "Modular Quantitative Monitoring", POPL 2019. Presented at LICS 2018 and as an invited talk at TRENDS 2018 (https://www.cse.iitb.ac.in/~krishnas/trends18/). This work was supported by the European Research Council (ERC) under the European Union Horizon 2020 research and innovation programme (ERC consolidator grant LIPA, agreement no. 683080).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
