SIGWEB annual report
- 期刊名称ACM SIGWEB Newsletter
- 作者Bulterman, Dick C. A.
- 印刷ISSN1931-1745
- 文件大小747.16KB
- 发表时间2019-07-29
- DOI10.1145/3320496.3320498
- 页码1-6
[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Certified ACKBOLochmann, Alexander; Sternagel, Christian · 2019
[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - A verified protocol buffer compilerYe, Qianchuan; Delaware, Benjamin · 2019
[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Eliminating reflection from type theoryWinterhalter, Théo; Sozeau, Matthieu; Tabareau, Nicolas · 2019
[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Verified solving and asymptotics of linear recurrencesEberl, Manuel · 2019
[ACM Press the 2019 8th International Conference - Penang, Malaysia (2019.02.19-2019.02.21)] Proceedings of the 2019 8th International Conference on Software and Computer Applications - ICSCA '19 - CDASLi, Qi; Chen, Hao · 2019
[ACM Press the 2019 8th International Conference - Cairo, Egypt (2019.04.09-2019.04.12)] Proceedings of the 2019 8th International Conference on Software and Information Engineering - ICSIE '19 - TelemedicineMohamed, Walaa; Abdellatif, Mohammad M. · 2019
[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Dynamic class initialization semantics: a Jinja extensionMansky, Susannah; Gunter, Elsa L. · 2019
[ACM Press the 2019 8th International Conference - Penang, Malaysia (2019.02.19-2019.02.21)] Proceedings of the 2019 8th International Conference on Software and Computer Applications - ICSCA '19 - ShellfierPan, Yue; An, Jing; Fan, Wenqing; Huang, Wei · 2019