English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Compilation of OCaml memory model into Power

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.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0006-0669-E Version Permalink: https://hdl.handle.net/21.11116/0000-0006-066A-D
Genre: Journal Article
Latex : Compilation of {OCaml} memory model into Power
Other : Компиляциямоделипамяти OCaml в Power

Files

show Files
hide Files
:
1223-1747-1-PB.pdf (Publisher version), 760KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0006-066B-C
Name:
1223-1747-1-PB.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
This work is licensed under a Creative Commons Attribution 4.0 License.
License:
-

Locators

show

Creators

show
hide
 Creators:
Namakonov, Egor Sergeevich1, Author
Podkopaev, Anton2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105293              

Content

show

Details

show
hide
Language(s): rus - Russian
 Dates: 20192019
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: DOI: 10.15514/ISPRAS-2019-31(5)-xx
BibTex Citekey: Namakonov2019
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the Institute for System Programming of the RAS
  Abbreviation : Proceedings of ISP RAS
  Other : Trudy Instituta sistemnogo programmirovaniâ
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: Moskva : Institut sistemnogo programmirovanija
Pages: - Volume / Issue: 31 (5) Sequence Number: - Start / End Page: 63 - 78 Identifier: ISSN: 2079-8156