Types, bytes, and separation logic


Tuch, H, Klein, G & Norrish, M 2007, 'Types, bytes, and separation logic', ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), ed. M. Hormann & M. Felleisen, Association for Computing Machinery Inc (ACM), USA, pp. 97-108.



ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  27 June 2022 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers