The Socrates programming language

5 provide data about efficiency of implication analysis - ID: 1249883

Last Update: Comment added ( dougorleans )

Details:

Section 1.3, research contributions: "This algorithm is
potentially more efficient than the canonicalization
algorithms..."

Mitch says, "data?"

Submitted:

Doug Orleans ( dougorleans ) - 2005-08-01 21:54

Priority:

Status:

Closed

Resolution:

None

Assigned:

Doug Orleans

Category:

Dissertation

Group:

None

Visibility:

Public

Date: 2005-08-04 02:20 Sender: dougorleans Logged In: YES user_id=611539 I don't have data; this claim is just based on the form of the algorithm (with the stages interleaved to avoid computing unnecessary intermediate values). I added a sentence about this to the section comparing with predicate dispatching canonicalization algorithms. Revision 1.86.

Field	Old Value	Date	By
status_id	Open	2005-08-04 02:20	dougorleans
close_date	-	2005-08-04 02:20	dougorleans