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

• প্রধান লেখক: Lochbihler, Andreas (auth)
• বিন্যাস: বৈদ্যুতিক গ্রন্থের অধ্যায়
• ভাষা: ইংরেজি
• প্রকাশিত: KIT Scientific Publishing 2012
• বিষয়গুলি: Java; formal semantics; type safety; memory model; concurrency
• অনলাইন ব্যবহার করুন: DOAB: download the publication; DOAB: description of the publication

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and i...