Události

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

Philadelphia 18.-22.6.2018

Vybrané publikace

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

Vaše IPv4 adresa: 35.175.174.157
Přepnout na https