Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | U

Number of items: 2.

B

Brotherston, James and Gorogiannis, Nikos and Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. 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. 84-96. ISBN 978-1-4503-3549-2. (doi:10.1145/2914770.2837621) (KAR id:59465)

U

Ugawa, Tomoharu, Marr, Stefan, Jones, Richard (2022) Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems. In: ACM. VMIL '22: Virtual Machines and Language Implementations. VMIL . pp. 25-35. ACM (doi:10.1145/3563838.3567678) (KAR id:97523)

This list was generated on Thu May 9 22:46:31 2024 BST.