Second Calculus of Binary Relations as a Concurrent Programming Language.
Final rept. 30 Sep 93-31 Mar 97,
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
This grant supported Anna Patterson from June 1994 to October 1996, Russ Allbery from October 1995 to March 1997, and Larry Yogman from January 1997 to June 1997. Patterson wrote 1 A new semantics for constructible falsity, presented at ASL Summer Meeting 96, appearing in the Bulletin of Symbolic Logic and submitted to JSL 2 Bisimulation and Propositional Intuitionistic Logic, presented at ESSLLI96 and in more detail at Concur 1997 in Warsaw and 3 with T. Costello Guilt-Free Exponentials, to be submitted. In addition she wrote the early stages of her thesis. Allbery implemented a much faster version of Vineet Guptas Chu space calculator. The one difficult operation is tensor product, which is known to be NP-complete and therefore requires good heuristics in order to be useful in practice. The bulk of the effort went into tuning for this operation. Yogman reimplemented the Gupta-Allbery calculator as a Java applet. This allows the user of a Java-enabled web browser, from anywhere in the world, to download and start up the calculator with one click. This version is not as fast as Allberys and therefore not as useful for testing hypotheses about large Chu spaces. However, as a pedagogical tool for studying Chu spaces it is excellent.
- Computer Programming and Software