Re: First-Order Programming Theories

• Mail folder: Interlingua Mail
• Next message: sowa: "Re: syntax for typed quantification"
• Previous message: sowa: "Re: First-Order Programming Theories"
• In-reply-to: sowa: "Re: First-Order Programming Theories"

Message-id: <9307061725.AA18516@aragorn.watson.ibm.com>
To: cg@cs.umn.edu
Cc: WALTER@cs.umn.edu, interlingua@ISI.EDU, sowa@turing.pacss.binghamton.edu,
        walter@watson.ibm.com
Subject: Re: First-Order Programming Theories
In-reply-to: Your message of Tue, 06 Jul 93 11:36:54 EDT.
             <9307061536.AA05741@turing.pacss.binghamton.edu>
Date: Tue, 06 Jul 93 13:25:10 -0500
From: Walter G. Wilson <WALTER@ISI.EDU>

>>In any case, there are certainly many questions about time that have
>>to be handled.  But what I found attractive about that book is that
>>the authors presented a way of representing a very general programming
>>theory in FOL.  The fact that they didn't solve all the problems of
>>distributed systems doesn't mean that such problems are insoluble
>>in some extension of their framework.


Do I detect somebody's thesis topic lurking here?