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
![[Computer Science & Software Engineering]](/images/banners/CSSE-wideblue-bar.gif){kind=small}