Parmaβbridging the performance gap betwe
β
Andrew Taylor
π
Article
π
1996
π
Elsevier Science
π
English
β 677 KB
Parma is an experimental high-performance Prolog compiler for the MIPS RISC architecture [4]. It was the first logic programming implementation to obtain performance comparable to imperative languages. It depends heavily on a global static analysis phase based on abstract interpretation. This paper