Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!samsung!uunet!microsoft!bobatk
From: bobatk@microsoft.UUCP (Bob ATKINSON)
Newsgroups: comp.object
Subject: Re: Run-time checks, Compile time Checks, and reliability
Keywords: type checking, high reliability, fault tolerance
Message-ID: <71944@microsoft.UUCP>
Date: 18 Apr 91 18:05:46 GMT
References: <1991Mar28.161307.6071@cbnewsh.att.com> <27F780E2.1872@tct.com> <1991Apr12.190418.13128@leland.Stanford.EDU> <526@eiffel.UUCP>
Reply-To: bobatk@microsoft.UUCP (Bob ATKINSON)
Organization: Microsoft Corp., Redmond WA
Lines: 18

Bertrand Meyer writes:
-As far as I know, the application of what Mr. Chambers calls
-``indirect function calls'' to a language supporting multiple
-inheritance was invented by the Eiffel implementation team,
-and was part of the first commercial implementation of Eiffel
-released at the end of 1986.
-
-The implementation uses constant-time dynamic binding, with
-small overhead over the routine call mechanism in standard
-languages (static binding) by building the appropriate routine tables
-and indexing through them.


Has this dispatching technique been published anywhere? 
Or is it (understandably, perhaps) considered proprietary by ISE?

	Bob Atkinson
	Microsoft