Types, bytes, and separation logic

Citation

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.

Year

2007

ANU Authors

Fields of Research

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

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers