English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Journal Article

Compilation of OCaml memory model into Power

MPS-Authors
/persons/resource/persons246684

Podkopaev,  Anton
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

1223-1747-1-PB.pdf
(Publisher version), 760KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Namakonov, E. S., & Podkopaev, A. (2019). Compilation of OCaml memory model into Power. Proceedings of the Institute for System Programming of the RAS, 31(5), 63-78. doi:10.15514/ISPRAS-2019-31(5)-xx.


Cite as: https://hdl.handle.net/21.11116/0000-0006-0669-E
Abstract
There is no abstract available