Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia

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)


… contributions are sought in all areas of programming languages and systems, including …