DSpace Repository

Semantics of concurrency in Java

Show simple item record

dc.contributor.advisor Dr. Qi Yulu (Member) en_US
dc.contributor.advisor Prof. Ramakoti Sadananda (Member) en_US
dc.contributor.advisor Prof. Phan Minh Dung (Chairperson) en_US
dc.contributor.author Rahman, Md. Anisur en_US
dc.date April 2000 en_US
dc.date.accessioned 2015-01-12T10:39:20Z
dc.date.available 2015-01-12T10:39:20Z
dc.identifier.other AIT Thesis no.CS-00-1 en_US
dc.identifier.uri http://www.cs.ait.ac.th/xmlui/handle/123456789/201
dc.description 59 leaves en_US
dc.description.abstract Java supports concurrent programming by means of threads that independently execute code. Such code operates on Java values and objects residing in a shared main memory. Every thread owns a private working memory in which it keeps working copies of all variables it uses or assigns . Structural operational semantics of several aspects of threads is defined in this work regardless of any implementation details. To do this a subset of Java has been selected which is called Mini Java. Semantics has been given for concurrency with threads and synchronized statements. The semantics is based on the environment and state. Two kinds of environment have been used - Global environment and Working Environment. States are also divided into Global state and Working state. The semantics describes the changes in the environments and states at different situation of thread execution. en_US
dc.description.sponsorship Government of Netherlands (TC/DC) en_US
dc.relation.ispartof Thesis no. CS-00-1 en_US
dc.relation.ispartof Asian Institute of Technology. Thesis no. CS-00-1 en_US
dc.source SAT/CS en_US
dc.subject Programming languages (Electronic computers) -- Semantics en_US
dc.subject Java (Computer program language) en_US
dc.title Semantics of concurrency in Java en_US
dc.type Thesis en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account