Comments on: Reminders: FLoC'99 call for workshops and LICS'98 early registration http://www.aboutlogic.info/reminders-floc99-call-for-workshops-and-lics98-early-registration logic, math, philosophy, math games, math help, mathematical logic, philosophy of education, math facts Fri, 03 Feb 2012 10:40:13 +0000 hourly 1 http://wordpress.org/?v=3.3.1 By: admin http://www.aboutlogic.info/reminders-floc99-call-for-workshops-and-lics98-early-registration/comment-page-1#comment-3713 admin Sun, 31 Jan 2010 20:16:10 +0000 http://www.aboutlogic.info/reminders-floc99-call-for-workshops-and-lics98-early-registration#comment-3713 <p>Ka Fai Lo (k...@cs.yorku.ca) wrote: <br /> : Does anyone know how to use Cospan? I have some questions about Cospan. <br /> : First, what kind of data types it supports, does it support array? Also, <br /> </p><p>It supports the usual stuff: bounded integer, enumerated <br /> types, array, record, etc. <br /> </p><p>: is Cospan a text-based or stateChart like enviroement? <br /> </p><p>It's text-based.  The commerical front-end FormalCheck has a <br /> graphic interface. <br /> </p><p>-- william <br /> </p> Ka Fai Lo (k…@cs.yorku.ca) wrote:
: Does anyone know how to use Cospan? I have some questions about Cospan.
: First, what kind of data types it supports, does it support array? Also,

It supports the usual stuff: bounded integer, enumerated
types, array, record, etc.

: is Cospan a text-based or stateChart like enviroement?

It’s text-based.  The commerical front-end FormalCheck has a
graphic interface.

– william

]]> By: admin http://www.aboutlogic.info/reminders-floc99-call-for-workshops-and-lics98-early-registration/comment-page-1#comment-3712 admin Sun, 31 Jan 2010 20:16:09 +0000 http://www.aboutlogic.info/reminders-floc99-call-for-workshops-and-lics98-early-registration#comment-3712 <p>Does anyone know how to use Cospan? I have some questions about Cospan. <br /> First, what kind of data types it supports, does it support array? Also, <br /> is Cospan a text-based or stateChart like enviroement? <br /> </p><p>Any help will be appreciated. <br /> </p><p>Thanks... Lewis <br /> </p> Does anyone know how to use Cospan? I have some questions about Cospan.
First, what kind of data types it supports, does it support array? Also,
is Cospan a text-based or stateChart like enviroement?

Any help will be appreciated.

Thanks… Lewis

]]>