Ditemukan 3 dokumen yang sesuai dengan query
Ade Azurat, author
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1999
S26970
UI - Skripsi Membership Universitas Indonesia Library
Ade Azurat, author
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...
2003
JIKT-3-2-Okt2004-77
Artikel Jurnal Universitas Indonesia Library
Ade Azurat, author
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...
2002
JIKT-2-1-Mei2002-18
Artikel Jurnal Universitas Indonesia Library
