Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!cmcl2!philabs!pwa-b!mmintl!franka
From: franka@mmintl.UUCP (Frank Adams)
Newsgroups: net.lang.c
Subject: Re: generalized switch
Message-ID: <1716@mmintl.UUCP>
Date: Mon, 11-Aug-86 13:28:21 EDT
Article-I.D.: mmintl.1716
Posted: Mon Aug 11 13:28:21 1986
Date-Received: Thu, 14-Aug-86 10:11:26 EDT
References: <15093@ucbvax.BERKELEY.EDU> <2600072@ccvaxa>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Organization: Multimate International, E. Hartford, CT
Lines: 10

In article <2600072@ccvaxa> aglew@ccvaxa.UUCP writes:
>C2 and C3 should not simultaneously hold if C1, for a deterministic 
>language. A compiler can easily generate checks for this.

A compiler can easily generate checks for certain simple cases of this.  It
cannot generate checks which are guaranteed to work; the problem is
undecidable in general.

Frank Adams                           ihnp4!philabs!pwa-b!mmintl!franka
Multimate International    52 Oakland Ave North    E. Hartford, CT 06108