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/ReportBook

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/ReportBook

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/ReportBook

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/ReportBook

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/ReportBook