Mechanizing logic in an aspect oriented attribute grammar system
A. Azurat, I.S.W.B. Prasetya and S.D. Swierstra ([Publisher not identified]
, 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 validate the computation of the implemented inference engine. |
|
|
| No. Panggil : | JIKT-3-2-Okt2004-77 |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | [Place of publication not identified]: [Publisher not identified], 2003 |
| Sumber Pengatalogan : | |
| ISSN : | |
| Majalah/Jurnal : | Jurnal Ilmu Komputer dan Teknologi Informasi |
| Volume : | Vol. 3 (2) Oktober 2003: 77-83;27175 |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Akses Elektronik : | |
| Institusi Pemilik : | Universitas Indonesia |
| Lokasi : |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| JIKT-3-2-Okt2004-77 | 03-20-542661137 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 89126 |
