Events

ACM SIGPLAN Conference on Programming Language Design and Implementation -- PLDI'18

Philadelphia 18.-22.6.2018

Selected publications

2018HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea and ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, pp. 135-150. ISBN 978-1-4503-5698-5.

Your IPv4 address: 34.236.190.216