Conference
Abstract Interpretation of Java Bytecode in Sturdy
| Τίτλος: | Abstract Interpretation of Java Bytecode in Sturdy |
|---|---|
| Συγγραφείς: | Marx, Stefan, Erdweg, Sebastian |
| Πηγή: | Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs. :17-22 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3678721.3686226 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3678721.3686226 |
|---|