Skip to main content
Kent Academic Repository

Items where Author, Editor or other role is "Richards, Jay"

Group by: Creator's name | Item Type | Date | No Grouping
Number of items: 1.

Richards, Jay, Wright, Daniel, Cooksey, Simon, Batty, Mark (2025) Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice. Proceedings of the ACM on Programming Languages, 9 (OOPSLA). pp. 1858-1882. ISSN 2475-1421. (doi:10.1145/3721089) (KAR id:110436)
Format: PDF

This list was generated on Fri Dec 5 19:34:00 2025 GMT.