Mechanizing logic in an aspect oriented attribute grammar system
(Jurnal Ilmu Komputer dan Teknologi Informasi, 3 (2) Oktober 2003: 77-83, 2003)
|
| This paper reports a preliminary work on using an aspect oriented attribute grammar system called UU-AG to develop computer aided verification tools. UU-AG provides an abstract and modular way to develop such a tool and later on incrementally upgrade them. This paper shows an example of a toy programming logic implemented in UU_AG. We will show the implementation of the verification condition generator (VCG). We extend the implementation with a new feature such as run-time trace generator to validte the computation of the implemented infrence engine. |
|
|
| No. Panggil : | JIKT-3-2-Okt2003-77 |
| Subjek : | |
| Penerbitan : | [Place of publication not identified]: Jurnal Ilmu Komputer dan Teknologi Informasi, 3 (2) Oktober 2003: 77-83, 2003 |
| Sumber Pengatalogan : | |
| ISSN : | |
| Majalah/Jurnal : | |
| Volume : | |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Akses Elektronik : | |
| Institusi Pemilik : | |
| Lokasi : |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| JIKT-3-2-Okt2003-77 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 106917 |
