Text

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

---

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 otomatis memperoleh kompiler terverifikasi yang dapat dieksekusi ke bytecode dan mesin virtual yang tervalidasi.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.131 LOC m

Publisher

Karlsruhe, Jerman. : KIT Scientific Publishing., 2012

Collation

1 online resource (XXI, 412 p..)

Language

English

ISBN/ISSN

9783866448858

Classification

005.131

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Logika Matematika & Verifikasi Formal

Specific Detail Info

-

Statement of Responsibility

Andreas Lochbihler

Other Information

Cataloger

Erwin Hendarto

Source

https://directory.doabooks.org/handle/20.500.12854/52521

Validator

Erwin

Digital Object Identifier (DOI)

10.5445/KSP/1000028867

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment