[Computer Science & Software Engineering]
Minutes of the FPU, Wednesday 23 February, 2000

HM(X) for binding time analysis


Attendees

Bernie Pope, Kevin Glynn, Harald Sondergaard, David Jeffreyl, Peter Ross, Peter Stuckey, Tyson Dowd.

Minutes

Martin discussed the application of HM(X) to binding time analysis.

References

Martin's thesis

Previous meeting Return to the minutes index page Next meeting
Return to the FPU homepage

Bernie Pope
Last Modified: Fri Sep 1 12:15:46 EST 2000