The following pages link to David Gries (Q287253):
Displaying 50 items.
- Formal justification of underspecification for S5 (Q287254) (← links)
- K-M-P string matching revisited (Q293129) (← links)
- An optimal parallel algorithm for generating combinations (Q582077) (← links)
- The Schorr-Waite graph marking algorithm (Q599496) (← links)
- Equational propositional logic (Q674268) (← links)
- Fault-tolerant broadcasts (Q790609) (← links)
- A note on a standard strategy for developing loop invariants and loops (Q1052815) (← links)
- Horner's rule and the computation of linear recurrences (Q1092939) (← links)
- Generating a random cyclic permutation (Q1110343) (← links)
- Developing a linear algorithm for cubing a cyclic permutation (Q1124329) (← links)
- An algorithm for transitive reduction of an acyclic graph (Q1124350) (← links)
- Controlled density sorting (Q1144935) (← links)
- Computing Fibonacci numbers (and similarly defined functions) in log time (Q1148672) (← links)
- A proof technique for communicating sequential processes (Q1153686) (← links)
- Finding repeated elements (Q1170891) (← links)
- A constructive proof of Vizing's theorem (Q1186590) (← links)
- An axiomatic proof technique for parallel programs (Q1219675) (← links)
- General correctness: A unification of partial and total correctness (Q2265798) (← links)
- Characterizations of certain classes of norms (Q2529330) (← links)
- Programming by induction (Q2549571) (← links)
- Describing an algorithm by Hopcroft (Q2554307) (← links)
- (Q3049806) (← links)
- (Q3217578) (← links)
- (Q3657400) (← links)
- (Q3719783) (← links)
- (Q3783501) (← links)
- (Q3854594) (← links)
- (Q3870274) (← links)
- Is Sometimes Ever Better Than Always? (Q3899467) (← links)
- (Q3907041) (← links)
- Assignment and Procedure Call Proof Rules (Q3922131) (← links)
- (Q3925859) (← links)
- (Q3935444) (← links)
- (Q4057550) (← links)
- Verifying properties of parallel programs (Q4085221) (← links)
- (Q4102708) (← links)
- An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Q4121386) (← links)
- Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs" (Q4130973) (← links)
- Some ideas on data types in high-level languages (Q4130984) (← links)
- (Q4134900) (← links)
- An exercise in proving parallel programs correct (Q4139635) (← links)
- The Multiple Assignment Statement (Q4162454) (← links)
- (Q4168052) (← links)
- A linear sieve algorithm for finding prime numbers (Q4168065) (← links)
- (Q4178461) (← links)
- (Q4184273) (← links)
- (Q4184282) (← links)
- (Q4185780) (← links)
- (Q4195920) (← links)
- (Q4364527) (← links)
