Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Lochbihler, Andreas
cover
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Ma…
Comment Share
Lochbihler, Andreas

Bahasa pemrograman Java menyediakan jaminan keamanan dan keselamatan seperti keamanan tipe dan arsitektur keamanannya. Hal ini membedakannya dari bahasa pemrograman utama lainnya seperti C dan C++. Dalam karya ini, kami mengembangkan model terverifikasi mesin dari Java konkuren dan model memori Java serta menyelidiki dampak konkurensi terhadap jaminan-jaminan ini. Dari model formal, kami secara…

Edition
-
ISBN/ISSN
9783866448858
Collation
1 online resource (XXI, 412 p..)
Series Title
-
Call Number
005.131 LOC m