Search for 'all'
0 results
Events (2 results)
Recursion Schemes in Coq
Research Papers When: Mon 2 Dec 2019 16:30 - 17:00 People: Kosuke Murata, Kento Emoto
… programs on an arbitrary algebraic datatype. We construct Coq formal proof of all …
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Research Papers When: Tue 3 Dec 2019 13:30 - 14:00 People: Taolue Chen, Jilong He, Yu-Ping Wang, Zhilin Wu, Jun Yan
… of the existing Android stack machine model to capture all the core elements …
Attending Information (1 results)
Visa Information
… to apply a few weeks before departure date and get all necessary documents ready. …
Tracks (1 results)
Posters
… contributions are sought in all areas of programming languages and systems, including …