Re: Using the RM for ADTs
From: David BL <davidbl_at_iinet.net.au>
Date: Sun, 12 Jul 2009 06:59:30 -0700 (PDT)
Message-ID: <8385d246-9740-4ebb-87f4-a810a80a8090_at_q40g2000prh.googlegroups.com>
Date: Sun, 12 Jul 2009 06:59:30 -0700 (PDT)
Message-ID: <8385d246-9740-4ebb-87f4-a810a80a8090_at_q40g2000prh.googlegroups.com>
On Jul 12, 2:06 pm, "Brian Selzer" <br..._at_selzer-software.com> wrote:
> This assumes that the circuits being "instantiated" are known ahead of time.
> How is that knowledge arrived at? Where does it come from?