Compiling Multi-paradigm Declarative Programs into Prolog

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_12 ◽

2000 ◽

pp. 171-185 ◽

Author(s):

Sergio Antoy ◽

Michael Hanus

Download Full-text