search for: memarian

Displaying 4 results from an estimated 4 matches for "memarian".

2015 Jun 26
3
[LLVMdev] C as used/implemented in practice: analysis of responses
...appreciate informed comments on those from the relevant compiler developers (or other experts). If you can answer these, please reply either below or by mailing the Cerberus mailing list: cl-cerberus at lists.cam.ac.uk https://lists.cam.ac.uk/mailman/listinfo/cl-cerberus many thanks, Kayvan Memarian and Peter Sewell (University of Cambridge) What is C in practice? (Cerberus survey): Conclusions ====================================================================== ## Kayvan Memarian and Peter Sewell ### University of Cambridge, 2015-06-21 ------------------------...
2015 Jun 30
8
[LLVMdev] C as used/implemented in practice: analysis of responses
...relevant compiler developers (or other experts). > > If you can answer these, please reply either below or by mailing the > Cerberus mailing list: > > cl-cerberus at lists.cam.ac.uk > > https://lists.cam.ac.uk/mailman/listinfo/cl-cerberus > > many thanks, > Kayvan Memarian and Peter Sewell (University of Cambridge) > > > What is C in practice? (Cerberus survey): Conclusions > ====================================================================== > > ## Kayvan Memarian and Peter Sewell > ### University of Cambridge, 2015-06-21 > > ------...
2015 Jul 01
2
[LLVMdev] C as used/implemented in practice: analysis of responses
...an answer these, please reply either below or by mailing the > >> Cerberus mailing list: > >> > >> cl-cerberus at lists.cam.ac.uk > >> > >> https://lists.cam.ac.uk/mailman/listinfo/cl-cerberus > >> > >> many thanks, > >> Kayvan Memarian and Peter Sewell (University of Cambridge) > >> > >> > >> What is C in practice? (Cerberus survey): Conclusions > >> ====================================================================== > >> > >> ## Kayvan Memarian and Peter Sewell > >&g...
2015 Jun 27
2
[LLVMdev] C as used/implemented in practice: analysis of responses
...experts). >> >> If you can answer these, please reply either below or by mailing the >> Cerberus mailing list: >> >> cl-cerberus at lists.cam.ac.uk >> >> https://lists.cam.ac.uk/mailman/listinfo/cl-cerberus >> >> many thanks, >> Kayvan Memarian and Peter Sewell (University of Cambridge) >> >> >> What is C in practice? (Cerberus survey): Conclusions >> ====================================================================== >> >> ## Kayvan Memarian and Peter Sewell >> ### U...