1![Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo](https://www.pdfsearch.io/img/abf94f6ea3c59f12c438727b636d29ea.jpg) | Add to Reading ListSource URL: homepages.cs.ncl.ac.ukLanguage: English - Date: 2015-06-23 01:22:59
|
---|
2![Owen L. Astrachan Department of Computer Science BoxDuke University Durham, NCtelephone: ( Owen L. Astrachan Department of Computer Science BoxDuke University Durham, NCtelephone: (](https://www.pdfsearch.io/img/ae681680c4c01120216381f9d3038f2c.jpg) | Add to Reading ListSource URL: www.cs.duke.eduLanguage: English - Date: 2015-05-18 18:17:15
|
---|
3![LETTERS Robert L. Aslzedmrst, cditov Taulbee Survey Report I was disappointed in the report by David Gries on the LETTERS Robert L. Aslzedmrst, cditov Taulbee Survey Report I was disappointed in the report by David Gries on the](https://www.pdfsearch.io/img/5cd62d8d426a6125f1e696c86b259748.jpg) | Add to Reading ListSource URL: web.archive.orgLanguage: English |
---|
4![AP CS Goes OO David Gries Kathleen Larson Susan H. Rodger Mark A. Weiss Ursula Wolz Computer Science AP CS Goes OO David Gries Kathleen Larson Susan H. Rodger Mark A. Weiss Ursula Wolz Computer Science](https://www.pdfsearch.io/img/b1abd5b0e2df96af18d253c8ff1a96d0.jpg) | Add to Reading ListSource URL: www.cs.duke.eduLanguage: English - Date: 2001-01-18 11:45:18
|
---|
5![Owen L. Astrachan Department of Computer Science Box[removed]Duke University Durham, NC[removed]telephone: ([removed] Owen L. Astrachan Department of Computer Science Box[removed]Duke University Durham, NC[removed]telephone: ([removed]](https://www.pdfsearch.io/img/05e48ae2263be786086a537bc98741c2.jpg) | Add to Reading ListSource URL: www.cs.duke.eduLanguage: English - Date: 2015-03-13 17:49:59
|
---|
6![Teaching Math More Effectively, Through Calculational Proofs Author(s): David Gries and Fred B. Schneider Source: The American Mathematical Monthly, Vol. 102, No. 8 (Oct., 1995), pp[removed]Published by: Mathematical As Teaching Math More Effectively, Through Calculational Proofs Author(s): David Gries and Fred B. Schneider Source: The American Mathematical Monthly, Vol. 102, No. 8 (Oct., 1995), pp[removed]Published by: Mathematical As](https://www.pdfsearch.io/img/5db5299f4d97aeb8f97bd9f79294aeb2.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2013-08-21 10:20:02
|
---|
7![A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001](https://www.pdfsearch.io/img/ef32d4ceb8b601a86eb62d73720538d0.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2013-09-09 22:15:58
|
---|
8![Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract](https://www.pdfsearch.io/img/d9db3ee568e020dbdb3f70f77fb64264.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2013-09-09 20:13:08
|
---|
9![Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998 Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998](https://www.pdfsearch.io/img/db32d74d83f6f33d87e19861cf6c8f0c.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2013-05-31 13:45:56
|
---|
10![Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed]](https://www.pdfsearch.io/img/dbc3086d80dba93d58b98720396dafe1.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2013-09-09 22:22:06
|
---|