University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > PNVI-ae-udi: the last (most recent) C memory object model

PNVI-ae-udi: the last (most recent) C memory object model

Download to your calendar using vCal

If you have a question about this talk, please contact Ariadne Si Suo .

Pointers, integers, chars, bytes. Long ago, the C types lived in harmony. Then, everything changed when the compilers optimised. Only a memory object model, master of all C types, could stop them. But when the world needed it the most, it was not specified. Decades and a 12-year PhD thesis passed, and I learned of a new memory object model, named PNVI -ae-udi. And although its formalism is precise, it can take a while to be understood by anyone. But I believe PNVI -ae-udi can be understood by the world (of people who will attend this Sandwich seminar).

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity