arXiv Open Access 2002

More Precise Yet Efficient Type Inference for Logic Programs

Claudio Vaucheret Francisco Bueno

Lihat Sumber

Abstrak

Type analyses of logic programs which aim at inferring the types of the program being analyzed are presented in a unified abstract interpretation-based framework. This covers most classical abstract interpretation-based type analyzers for logic programs, built on either top-down or bottom-up interpretation of the program. In this setting, we discuss the widening operator, arguably a crucial one. We present a new widening which is more precise than those previously proposed. Practical results with our analysis domain are also presented, showing that it also allows for efficient analysis.

Topik & Kata Kunci

cs.SE

Penulis (2)

Claudio Vaucheret

Francisco Bueno

Format Sitasi

APA MLA BibTeX

Vaucheret, C., Bueno, F. (2002). More Precise Yet Efficient Type Inference for Logic Programs. https://arxiv.org/abs/cs/0207049

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2002
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓