Multiple Facets for Dynamic Information Flow with Exceptions
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Austin, Thomas H.; Schmitz, Tommy; Flanagan, Cormac
- 卷第39卷
- 期第3期
- 印刷ISSN0164-0925
- 文件大小2938.94KB
- 发表时间2017-05-10
- DOI10.1145/3024086
- 页码1-56
同期刊推荐
Subdivision of the PrecambrianWright, A. E. · Geological Society, London, Memoirs · 1985
An interim time-scaleSnelling, N. J. · Geological Society, London, Memoirs · 1985
Silurian biogeographyBoucot, A. J. · Geological Society, London, Memoirs · 1990
Chapter 13 Vendian HistoryHarland, W. B. · Geological Society, London, Memoirs · 1997
Chapter 16 Devonian historyHarland, W. B. · Geological Society, London, Memoirs · 1997
Chapter 26 Graptolite palaeobiogeographyGoldman, D.; Maletz, J.; Melchin, M. J.; Junxuan, F. · Geological Society, London, Memoirs · 2013
Chapter 1 IntroductionGeological Society, London, Memoirs · 2013
Revised World maps and introductionScotese, C.R.; McKerrow, W. S. · Geological Society, London, Memoirs · 1990