Browse by Journal
Number of items: 2.
G
Grigore, Radu and Yang, Hongseok (2016) Abstraction Refinement Guided by a Learnt Probabilistic Model. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 485-498. ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837663) (KAR id:54057) |
J
JEFFREY, A, Riely, J, Batty, Mark, Cooksey, Simon, KAYSIN, I, PODKOPAEV, A (2022) The Leaky Semicolon. Principles of Programming Languages, 6 . pp. 1-30. ISSN 0743-9016. (doi:10.1145/3498716) (KAR id:95153) |