Accession Number : ADA329349

Title :   Second Calculus of Binary Relations as a Concurrent Programming Language.

Descriptive Note : Final rept. 30 Sep 93-31 Mar 97,

Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Pratt, Vaughan R.

PDF Url : ADA329349

Report Date : 26 AUG 1997

Pagination or Media Count : 5

Abstract : 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 ESSLLI'96 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 Gupta's 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 Allbery's and therefore not as useful for testing hypotheses about large Chu spaces. However, as a pedagogical tool for studying Chu spaces it is excellent.

Descriptors :   *CONCURRENT ENGINEERING, *HIGH LEVEL LANGUAGES, COMPUTER LOGIC, SEMANTICS, MATHEMATICAL LOGIC, HEURISTIC METHODS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE