Show simple item record

dc.contributor.author
Lochbihler, Andreas
dc.date.accessioned
2017-06-11T04:38:17Z
dc.date.available
2017-06-11T04:38:17Z
dc.date.issued
2013-12
dc.identifier.issn
0164-0925
dc.identifier.issn
1558-4593
dc.identifier.other
10.1145/2518191
dc.identifier.uri
http://hdl.handle.net/20.500.11850/80224
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.subject
Languages
dc.subject
Theory
dc.subject
Data race freedom
dc.subject
Java memory model
dc.subject
Operational semantics
dc.subject
Type safety
dc.title
Making the java memory model safe
dc.type
Journal Article
ethz.journal.title
ACM Transactions on Programming Languages and Systems
ethz.journal.volume
35
ethz.journal.issue
4
ethz.journal.abbreviated
ACM trans. program. lang. syst
ethz.pages.start
12:2
ethz.pages.end
12:65
ethz.identifier.wos
ethz.identifier.nebis
000910838
ethz.publication.place
New York
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-11T04:38:45Z
ethz.source
ECIT
ethz.identifier.importid
imp59365199a4d4549425
ethz.ecitpid
pub:125815
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T12:56:36Z
ethz.rosetta.lastUpdated
2019-01-02T06:10:45Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Making%20the%20java%20memory%20model%20safe&rft.jtitle=ACM%20Transactions%20on%20Programming%20Languages%20and%20Systems&rft.date=2013-12&rft.volume=35&rft.issue=4&rft.spage=12:2&rft.epage=12:65&rft.issn=0164-0925&1558-4593&rft.au=Lochbihler,%20Andreas&rft.genre=article&rft_id=info:doi/10.1145/2518191&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record