Invariants generation for method overriding using abstract interpretation /
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
2013.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01268cam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | u888093 | ||
| 003 | SIRSI | ||
| 005 | 201309121549 | ||
| 008 | 130912s2013 my a t 000 0 eng m | ||
| 040 | |a UMM |d AUM |e rda | ||
| 090 | |a QA76 |b UMP 2013 Sithah | ||
| 100 | 0 | |a Siti Hafizah Ab. Hamid. | |
| 245 | 1 | 0 | |a Invariants generation for method overriding using abstract interpretation / |c Siti Hafizah Ab. Hamid. |
| 260 | |c 2013. | ||
| 300 | |a x, 123 leaves : |b ill. ; |c 30 cm. | ||
| 502 | |a Thesis (Ph.D) -- Jabatan Kepintaran Buatan, Fakulti Sains Komputer dan Teknologi Maklumat, Universiti Malaya, 2013. | ||
| 504 | |a Bibliography: leaves 115-123. | ||
| 530 | |a Issued also in CD. | ||
| 650 | 0 | |a Object-oriented programming (Computer science) | |
| 650 | 0 | |a Object-oriented programming languages. | |
| 650 | 0 | |a Computer software |x Verification. | |
| 650 | 0 | |a Software engineering. | |
| 710 | 2 | |a Universiti Malaya. |b Jabatan Kepintaran Buatan. | |
| 856 | 4 | 1 | |c http://studentsrepo.um.edu.my/id/eprint/5552 |
| 900 | |a AT-ZA | ||
| 596 | |a 1 25 | ||
| 999 | |a QA76 UMP 2013 SITHAH |w LC |c 1 |i A515668470 |d 27/11/2013 |f 27/11/2013 |g 1 |l STACKS |m P01UTAMA |r Y |s Y |t TESIS |u 21/11/2013 | ||
| 999 | |a QA76 UMP 2013 SITHAH |w LC |c 1 |i A516815466 |f 1/8/2019 |g 1 |l STACKS |m P25UMARCHI |r Y |s Y |t CD |u 12/9/2017 |1 STEM | ||