Subject: Completeness and Consistency Checking
From: Mayur Naik (mhn@hotbot.com)
Date: Mon Apr 17 2000 - 08:06:33 PDT
Hello
I have a query concerning your algorithm in [CL95] for static typechecking of multi-methods in a GF and your algorithm in [CC99] for generating the dispatcher for a GF.
[CL95] involves checking Completeness and Consistency as part of implementation-side typechecking. But [CC99] can make these checks without additional effort: it can warn that the GF is incomplete or inconsistent if the MSAM computation at a leaf node of the lookup DAG results in the 'message not understood' or 'message ambiguous' error respectively. Isn't it redundant to perform Completeness and Consistency checks in [CL95] assuming that [CC99] is always executed?
Thanks for your time.
-- Mayur
HotBot - Search smarter.
http://www.hotbot.com
This archive was generated by hypermail 2b25 : Tue Oct 03 2000 - 15:21:29 PDT