Author image not provided
 David J Gries

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article12.04
Citation Count1,011
Publication count84
Publication years1965-2010
Available for download22
Average downloads per article549.77
Downloads (cumulative)12,095
Downloads (12 Months)355
Downloads (6 Weeks)43
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· Advisor only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


84 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 84
Result page: 1 2 3 4 5

Sort by:

1
December 2010
Bibliometrics:
Citation Count: 0

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool ...

2
June 2009 Journal of Computing Sciences in Colleges: Volume 24 Issue 6, June 2009
Publisher: Consortium for Computing Sciences in Colleges
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1,   Downloads (12 Months): 3,   Downloads (Overall): 150

Full text available: PdfPdf
One big challenge of teaching discrete mathematics/structures ("discrete math" from here on) is not students' appreciation of the material but the timing of this appreciation. Some (many?) students ask "Why do we have to learn all this?" as they study sequences, mathematical induction, counting, probability, etc., relatively early in their ...

3
October 2006 Computer: Volume 39 Issue 10, October 2006
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 1

Teaching our students how to think about the programming process would increase oureffectiveness as teachers and make our curriculum more efficient.
Keywords: software engineering, software engineering, programming, computer science curriculum, computer science curriculum, programming

4 published by ACM
February 2005 ACM SIGCSE Bulletin: Volume 37 Issue 1, 2005
Publisher: ACM
Bibliometrics:
Citation Count: 9
Downloads (6 Weeks): 0,   Downloads (12 Months): 9,   Downloads (Overall): 558

Full text available: PDFPDF
CMS is a secure and scalable web-based course management system developed by the Cornell University Computer Science Department. The system was designed to simplify, streamline, and automate many aspects of the workflow associated with running a large course, such as course creation, importing students, management of student workgroups, online submission ...
Keywords: courseware, education
Also published in:
February 2005  SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education

5
September 2004
Bibliometrics:
Citation Count: 0


6 published by ACM
December 2002 ACM SIGCSE Bulletin: Volume 34 Issue 4, December 2002
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 0,   Downloads (12 Months): 0,   Downloads (Overall): 329

Full text available: PDFPDF

7 published by ACM
June 2002 ITiCSE '02: Proceedings of the 7th annual conference on Innovation and technology in computer science education
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 4,   Downloads (Overall): 210

Full text available: PDFPDF
Also published in:
September 2002  ACM SIGCSE Bulletin: Volume 34 Issue 3, September 2002

8
May 2002 Journal of Computing Sciences in Colleges: Volume 17 Issue 6, May 2002
Publisher: Consortium for Computing Sciences in Colleges
Bibliometrics:
Citation Count: 4
Downloads (6 Weeks): 1,   Downloads (12 Months): 1,   Downloads (Overall): 249

Full text available: PDFPDF
We present a memory model for use in teaching Java. It includes a notion of class and a way of drawing objects to which students can relate. It includes the frames on the call stack and the steps in executing method calls, including recursive calls. The model starts out simple ...

9 published by ACM
February 2001 SIGCSE '01: Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Publisher: ACM
Bibliometrics:
Citation Count: 2

Also published in:
March 2001  ACM SIGCSE Bulletin: Volume 33 Issue 1, March 2001

10 published by ACM
February 2001 SIGCSE '01: Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Publisher: ACM
Bibliometrics:
Citation Count: 7

There are deep connections between algorithmic and mathematical thinking. Both construct "systems" --- computing systems in the algorithmic case, intellectual ones in mathematics --- from simple primitives. As Knuth notes in the preface to The Art of Computer Programming, "The construction of a computer program from a set of basic ...
Also published in:
March 2001  ACM SIGCSE Bulletin: Volume 33 Issue 1, March 2001

11
February 2001 Information Processing Letters - Special issue in honor of Edsger W. Dijkstra: Volume 77 Issue 2-4, Feb. 1, 2001
Publisher: Elsevier North-Holland, Inc.
Bibliometrics:
Citation Count: 0


12 published by ACM
March 2000 SIGCSE '00: Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 0,   Downloads (12 Months): 6,   Downloads (Overall): 119

Full text available: PDFPDF
In 1981 the APCS Development Committee recommended the use of Pascal in an AP course whose first exam was given in 1984. This decision was controversial; BASIC was in widespread use and serious consideration was given to a language-neutral exam and course. In 1985 an ad-hoc committee made recommendations on ...
Also published in:
March 2000  ACM SIGCSE Bulletin: Volume 32 Issue 1, Mar. 2000

13
September 1998
Bibliometrics:
Citation Count: 1

From the Publisher: This book introduces the reader to assembly language programming and its role in computer programming and design. The author concentrates on covering the 8086 family of processors up to and including the Pentium. The focus is on providing students with a firm grasp of the main features ...

14
May 1998
Bibliometrics:
Citation Count: 0

Inference rule "substitution of equals for equals" has been formalized in terms of simple substitution (which performs a replacement even though a free occurrence of a variable is captured), contextual substitution (which prevents such capture), and function application. We show that in connection with pure first-order predicate calculus, the function-application ...

15
December 1997 Information Processing Letters: Volume 64 Issue 5, Dec. 15, 1997
Publisher: Elsevier North-Holland, Inc.
Bibliometrics:
Citation Count: 1

Keywords: analysis of algorithms, memoization, pattern matching, proof of correctness, string matching

16
November 1997 Information Processing Letters: Volume 64 Issue 3, Nov. 14, 1997
Publisher: Elsevier North-Holland, Inc.
Bibliometrics:
Citation Count: 0

Keywords: program specification, underspecification, everywhere operator, logic, formal semantics, undefined, modal logic

17
July 1997 Mathematical and Computer Modelling: An International Journal: Volume 26 Issue 1, July, 1997
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 3

With the advent of electronic documents, information is available in more than just its visual form-electronic information is display-independent. Though the principal mode of display is still visual, we can now produce alternative renderings of this information-we have designed a computing system, A"ST"ER, that produces an audio view. The visuasl ...
Keywords: Audio documents, Audio formatting, Interactive browsing of audio documents, Presenting structured documents aurally

18
February 1997
Bibliometrics:
Citation Count: 0

We formalize the notion of underspecification as a means of avoiding problems with partial functions in modal logic S5 and some semantically related logics. For these logics, underspecification respects validity, so incorporating it into their semantics leaves their classes of valid formulae unchanged.

19
September 1996 Proceedings of the NATO Advanced Study Institute on Deductive program design
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0


20
May 1996
Bibliometrics:
Citation Count: 0

Sound and complete modal propositional logic C is presented, in which "P" has the interpretation "P is true in all states". The interpretation is already known as the Carnapian extension of S5. A new axiomatization for C provides two insights. First, introducing an inference rule "textual substitution" allows seamless integration ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us