If you made any changes in Pure these will be visible here soon.

Research Output 1995 2017

Filter
Book
1999

An Overview of HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J. 1999 Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming

Bueno, F., Garcia De La Banda, M. J. & Hermenegildo, M. 1999 Clayton Vic Australia: Monash University. 53 p.

Research output: Book/ReportBookOther

Herbrand Constraint Solving in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J. 1999 Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

Hermenegildo, M., Bueno, F., Cabeza, D., Carro, M., Garcia De La Banda, M. J., Lopez, P. & Puebla, G. 1999 Clayton Vic Australia: Monash University. 18 p.

Research output: Book/ReportBookOther

Type Constraint Solving for Parametric and Ad-hoc Polymorphism

Demoen, B., Garcia De La Banda, M. J. & Stuckey, P. J. 1999 Clayton Vic Australia: Monash University. 20 p.

Research output: Book/ReportBookOther