TODO LIST


For more information on any of these issues, contact mercury@cs.mu.oz.au.

type system

mode analysis

determinism analysis

unique modes

module system

C interface

code generation

back-ends

low-level (LLDS) back-end

high-level C back-end

native code back-end

.NET back-end

Java back-end

debugger


WISH LIST

type-system

mode analysis

determinism analysis:

higher-order preds:

module system:

source-level transformations

code generation:

LLDS back-end:

native code back-end

garbage collection

compilation speed

better diagnostics

general


Last update was $Date: 2004/07/14 05:37:06 $ by $Author: juliensf $@cs.mu.oz.au.