AI SearchOperational semantic of a subset of Java based on Java virtual machine (Record no. 83468)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02432nas|a2200409 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260818170642.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 010817s2000 th uzm rtt 00| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b11832460 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Thesis no.IM-00-24 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Nguyen Thuy Linh |
| 245 10 - TITLE STATEMENT | |
| Title | Operational semantic of a subset of Java based on Java virtual machine |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 2000 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 86 leaves |
| 490 1# - SERIES STATEMENT | |
| Series statement | Thesis ; |
| Volume/sequential designation | no. IM-00-24 |
| 500 ## - GENERAL NOTE | |
| General note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Advanced Technologies |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Asian Institute of Technology 2000 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | A restricted subset of Java called MiniJava, which includes variable declaration, object creation, inheritance and passing mechanism, numerical expressions, commands, method call, access control modifiers, and local variables, has been selected. JVM and Java class file serves as an immediate stage in compiling Java program. Using formal and precise notation, the language concept, related bytecode instructions and compilation schemes are presented. The compilation process is divided in two steps: compilation of class declaration and compilation of method body. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Java (Computer program language) |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Phan Minh Dung, |
| Relator term | Chairperson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Haddawy, Peter, |
| Relator term | Examination Committee |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Vilas Wuwongse, |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Government of Norway, |
| Relator term | Scholarship Donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Thesis ; |
| Volume/sequential designation | no. IM-00-24 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B06748">http://203.159.5.9/ait-thesis/detail.php?q=B06748</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b11832460 |
| b | mnait |
| c | u |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240407 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 0 |
| Cataloger's initials, CIN (RLIN) | 010817 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | u |
| -- | 0 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 20-AIT Publication |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120701841 |
| CREATED | CREATED : 2001-08-17 |
| RECORD Id | RECORD # : i12254101 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120701833 |
| CREATED | CREATED : 2001-08-17 |
| RECORD Id | RECORD # : i12254113 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050160073739 |
| CREATED | CREATED : 2016-04-26 |
| RECORD Id | RECORD # : i12952886 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | 50.00 | AIT Thesis no.IM-00-24 | 30050120701841 | 18/08/2026 | 1 | 18/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | 50.00 | AIT Thesis no.IM-00-24 | 30050120701833 | 18/08/2026 | 2 | 18/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 18/08/2026 | AIT Thesis no.IM-00-24 | 30050160073739 | 18/08/2026 | 1 | 18/08/2026 | 40-Archives |