Ditemukan 3 dokumen yang sesuai dengan query
Ade Azurat
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1999
S26970
UI - Skripsi Membership Universitas Indonesia Library
Ade Azurat
"
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 ...
"
2003
JIKT-3-2-Okt2004-77
Artikel Jurnal Universitas Indonesia Library
Ade Azurat
"
HOL is a theorem prover based on a higher order logic. Its expressive logic makes it suitable for embedding programming logics. Compared to other theorem provers, HOL is attractive because of its familiar and intuitive logic and because it is highly programmable. In this paper we will compare a number of commonly used embedding approaches in HOL and outline their strength and weakness. We will also outline a new alternative called hybrid embedding that combines ...
"
2002
JIKT-2-1-Mei2002-18
Artikel Jurnal Universitas Indonesia Library
