[m-dev.] summer studentship assignments

Zoltan Somogyi zs at cs.mu.OZ.AU
Thu Nov 18 15:58:08 AEDT 1999


Here is an assignment of topics to work on for each of you. I expect that
some of the listed topics will not take the whole 11 weeks.

rwh at students.cs.mu.oz.au	precise and range-based contexts
cskemp at students.cs.mu.OZ.AU	generic proof procedures, for proving e.g.
				associativity and implication
gmwils at students.cs.mu.oz.au	termination analysis 2
				(continuing vjteag's work)
mcda at students.cs.mu.OZ.AU	I/O to/from strings via typeclasses,
				and possibly other library improvements
rejj at students.cs.mu.OZ.AU	finding intermodule dependencies
				(what items module A imports from module B)
pnmalk at students.cs.mu.oz.au	finishing EDCGs, and later implementing
				syntax for pre- and post-conditions

Is anybody unhappy with their assignment?

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list