Completeness and Consistency Checking


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