Conference
Προβολή σε EDS

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
Συγγραφείς: Kan, Shuanglong, Lin, Anthony W.
Πηγή: Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. :279-293
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3779031.3779094
Βάση Δεδομένων: ACM Full-Text Collection
Περιγραφή
DOI:10.1145/3779031.3779094