Actualité en relation:

Invariant de boucle

2004 (ISBN 2-1000-3922-9). Pages 16, section 2.1: Tri par insertion. David Gries, « A note on a standard strategy for developing loop invariants and loops »

Will Penny, le solitaire

Penny Réalisation : Tom Gries Scénario : Tom Gries Production : Fred Engel, Walter Seltzer pour Paramount Pictures Musique : David Raksin Photographie :

Méthode B

commands, nondeterminacy and formal derivation of programs, CACM 1981 David Gries, The Science of Programming, Springer, 1981 1986 Roland Backhouse, Program

Liste de publications importantes en informatique théorique

les preuves d'invariance des programmes concurrents. Susan S. Owicki, David Gries Acta Inf. 6: 319-340 (1976) Description: Dans ce document, l'approche

Relation asymétrique

7e éd. (lire en ligne), p. 2, 3 et 5. En anglais : asymmetric — (en) David Gries et Fred B. Schneider, A Logical Approach to Discrete Math, Springer,

Jill Ireland

Gries : Ann Wagner 1975 : Le Bagarreur (Hard Times) de Walter Hill : Lucy Simpson 1975 : Le Solitaire de Fort Humboldt (Breakheart Pass) de Tom Gries :

Minimisation d'un automate fini déterministe

 57, no 2,‎ 1996, p. 65–69 (DOI 10.1016/0020-0190(95)00199-9). (en) David Gries, « Describing an algorithm by Hopcroft », Acta Informatica, vol. 2, no 2

Les Cent Fusils

français : Les Cent Fusils Réalisation : Tom Gries et Chuck Roberson (seconde équipe) Scénario : Tom Gries, Clair Huffaker, d'après le roman The Californio