Aprove APROVE, otomatik sonlandırma ve terim yeniden yazma sistemlerinin (TRS'ler) en içteki sonlandırma kanıtı için bir sistemdir.
Şimdi İndirin

Aprove Sıralama ve Özet

Aprove Etiketler

yeniden yazmak sistemler otomatik fesih fesih kanıtları terim yeniden yazma Terim

Aprove Açıklama

APROVE, otomatik sonlandırma ve terim yeniden yazma sistemlerinin (TRS'ler) en içteki sonlandırma kanıtı için bir sistemdir. APROVE - Otomatik Program Doğrulama Ortamı - Otomatik Sonlandırma ve Terim Yeniden Yazma Sistemlerinin (TRS'ler) en içteki sonlandırma kanıtı için bir sistemdir. Ayrıca, Aprove ayrıca, örneğin, mantık programları (Prolog), fonksiyonel programlar (Haskell 98), Koşullu TRSS, TRSS Modulo AC, Bağlam Hassas TRSS, vb. Alevin, 2004, 2005, 2006 ve 2007'de TRS'lerin sonlandırılması için en güçlü araç olduğu sonlandırma araçları, bağımlılık çifti çerçevesine dayanır ve çok çeşitli farklı sonlandırma kanıtı teknikleri sunar. Bu teknikler, grafiksel bir kullanıcı arayüzü üzerinden kullanıcı tarafından serbestçe yapılandırılabilir ve birleştirilebilir. Ayrıca, Aprove ayrıca uygun sonlandırma tekniklerinin uygulamada başarılı olduğu belli bir sabit sırayla uygulandığı bir "tam otomatik" modu sunar. Gereksinimler: · Java Runtime System Sürüm 1.5 veya NewERInstalation: Arşiv. Megabayt hafızası. Örneğin, java -xmx400m -jar aprove.jarstarts APROVE 400 megabayt hafıza limiti ile. Bu seçenek olmadan, varsayılan limit oldukça düşük olan kullanılır.

Aprove İlgili Yazılım