Conference
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 |
καταχωρήστε σχόλιο πρώτοι!