Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: G | J
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)
Format: PDF

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)
Format: PDF

This list was generated on Tue Apr 23 22:50:28 2024 BST.