Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intricacies of CHERI C semantics in this 19-minute conference talk presented by Vadim Zaliva at ACM SIGPLAN's POCL'24 event. Delve into the fundamental concepts and unique characteristics of CHERI C, gaining valuable insights into its semantic structure and implications for programming and system design.