Gries, David 1939
Overview
Works:  167 works in 526 publications in 7 languages and 5,830 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor 
Classifications:  QA76.6, 001.642 
Publication Timeline
.
Most widely held works by
David Gries
The science of programming by
David Gries(
Book
)
49 editions published between 1981 and 1998 in 4 languages and held by 1,105 WorldCat member libraries worldwide
Why use logic? Why prove programs correct? Propositions and predicates; Reasoning using equivalence transformations; A natural deduction system; Predicates; Notations and conventions for arrays; Using assertions to document programs; The predicate transformer wp; The commands 'skip', 'abort' and composition; The assignment command; The alternative command; The interative command. Procedure call; Programming as a goaloriented activity; Developing loops from invariants and bounds; Developing invariants; Notes on bound functions; Using interation instead of recursion; Efficiency considerations; Two larger examples of program development; Inverting programs; Notes on documentation; Historical notes; Backusnaur form; Sets, sequences, integers and real numbers; Relations and functions; Asymptotic execution time properties
49 editions published between 1981 and 1998 in 4 languages and held by 1,105 WorldCat member libraries worldwide
Why use logic? Why prove programs correct? Propositions and predicates; Reasoning using equivalence transformations; A natural deduction system; Predicates; Notations and conventions for arrays; Using assertions to document programs; The predicate transformer wp; The commands 'skip', 'abort' and composition; The assignment command; The alternative command; The interative command. Procedure call; Programming as a goaloriented activity; Developing loops from invariants and bounds; Developing invariants; Notes on bound functions; Using interation instead of recursion; Efficiency considerations; Two larger examples of program development; Inverting programs; Notes on documentation; Historical notes; Backusnaur form; Sets, sequences, integers and real numbers; Relations and functions; Asymptotic execution time properties
Compiler construction for digital computers by
David Gries(
Book
)
33 editions published between 1971 and 1985 in 6 languages and held by 711 WorldCat member libraries worldwide
The object of this book is to present in a coherent fashion the major techniques used in compiler writing, in order to make it easier for the novice to enter the field and for the expert to reference the literature. The book is oriented towards socalled syntaxdirected methods of compiling
33 editions published between 1971 and 1985 in 6 languages and held by 711 WorldCat member libraries worldwide
The object of this book is to present in a coherent fashion the major techniques used in compiler writing, in order to make it easier for the novice to enter the field and for the expert to reference the literature. The book is oriented towards socalled syntaxdirected methods of compiling
A logical approach to discrete math by
David Gries(
Book
)
29 editions published between 1993 and 2016 in English and held by 673 WorldCat member libraries worldwide
This text attempts 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 book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. "This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and  perhaps more importantly  software engineering. I recommend it highly. The book will be of value not only to beginning students, but also to hardened programmers with many years of experience  in Fortran, Cobol, C, C++, or whatever. If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed."Peter G. Neumann
29 editions published between 1993 and 2016 in English and held by 673 WorldCat member libraries worldwide
This text attempts 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 book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. "This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and  perhaps more importantly  software engineering. I recommend it highly. The book will be of value not only to beginning students, but also to hardened programmers with many years of experience  in Fortran, Cobol, C, C++, or whatever. If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed."Peter G. Neumann
A primer on PASCAL by
Richard Walter Conway(
Book
)
26 editions published between 1976 and 1982 in English and Undetermined and held by 623 WorldCat member libraries worldwide
26 editions published between 1976 and 1982 in English and Undetermined and held by 623 WorldCat member libraries worldwide
An introduction to programming : a structured approach using PL/I and PL/C by
Richard Walter Conway(
Book
)
46 editions published between 1973 and 1982 in 3 languages and held by 562 WorldCat member libraries worldwide
Fundamental concepts; Program structure; Independent subprograms; Program testing; Block structured programs; Performance evaluation; Conformation of correctness; Computer solution of mathematical problems; File processing applications
46 editions published between 1973 and 1982 in 3 languages and held by 562 WorldCat member libraries worldwide
Fundamental concepts; Program structure; Independent subprograms; Program testing; Block structured programs; Performance evaluation; Conformation of correctness; Computer solution of mathematical problems; File processing applications
Multimedia introduction to programming using Java by
David Gries(
)
25 editions published between 2004 and 2005 in English and held by 539 WorldCat member libraries worldwide
"With its comprehensive appendices and bibliography, systemic approach, and helpful CDROM, this work provides the key tools for successful objectoriented programming. It is ideal for use at the undergraduate and graduate beginning level, whether in the classroom or for distance learning; furthermore, the text will also be a valuable selfstudy resource or reference volume in any programmer's library."Jacket
25 editions published between 2004 and 2005 in English and held by 539 WorldCat member libraries worldwide
"With its comprehensive appendices and bibliography, systemic approach, and helpful CDROM, this work provides the key tools for successful objectoriented programming. It is ideal for use at the undergraduate and graduate beginning level, whether in the classroom or for distance learning; furthermore, the text will also be a valuable selfstudy resource or reference volume in any programmer's library."Jacket
Programming methodology : a collection of articles by members of IFIP WG2.3 by
David Gries(
Book
)
16 editions published in 1978 in English and held by 441 WorldCat member libraries worldwide
16 editions published in 1978 in English and held by 441 WorldCat member libraries worldwide
A primer on structured programming using PL/I, PL/C, and PL/CT by
Richard Walter Conway(
Book
)
6 editions published between 1976 and 1982 in English and held by 144 WorldCat member libraries worldwide
6 editions published between 1976 and 1982 in English and held by 144 WorldCat member libraries worldwide
Introduction to structured programming, using PL/I and SP/k by
Richard Walter Conway(
Book
)
6 editions published between 1976 and 1977 in English and held by 120 WorldCat member libraries worldwide
6 editions published between 1976 and 1977 in English and held by 120 WorldCat member libraries worldwide
Programming concepts and methods procomet '98 : ifip tc2 by
David Gries(
)
2 editions published in 1998 in English and held by 70 WorldCat member libraries worldwide
This book presents stateoftheart discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods
2 editions published in 1998 in English and held by 70 WorldCat member libraries worldwide
This book presents stateoftheart discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods
Beauty is our business : a birthday salute to Edsger W. Dijkstra by
W. H. J Feijen(
)
4 editions published between 1990 and 1994 in English and held by 56 WorldCat member libraries worldwide
More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fiftyfour technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the beginning of the nineties. While many know of Dijkstra's technical contributions, they may not be aware of his ultimate goal, the mastery of complexity in mathematics and computing science. He has forcefully argued that beauty and elegance are essential to this mastery. The title of this book, chosen to reflect his ultimate goal, comes from a sentence in an article of his on some beautiful arguments using mathematical induction: " ... when we recognize the battle against chaos, mess, and unmastered complexity as one of computing sci ence's major callings, we must admit that 'Beauty Is Our Business'."
4 editions published between 1990 and 1994 in English and held by 56 WorldCat member libraries worldwide
More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fiftyfour technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the beginning of the nineties. While many know of Dijkstra's technical contributions, they may not be aware of his ultimate goal, the mastery of complexity in mathematics and computing science. He has forcefully argued that beauty and elegance are essential to this mastery. The title of this book, chosen to reflect his ultimate goal, comes from a sentence in an article of his on some beautiful arguments using mathematical induction: " ... when we recognize the battle against chaos, mess, and unmastered complexity as one of computing sci ence's major callings, we must admit that 'Beauty Is Our Business'."
An introduction to Kolmogorov complexity and its applications by
Ming Li(
)
3 editions published in 2008 in English and held by 49 WorldCat member libraries worldwide
Written by two experts in the field, this book is ideal for advanced undergraduate students, graduate students, and researchers in computer science, mathematics, cognitive sciences, philosophy, artificial intelligence, statistics, and physics. It is selfcontained in that it contains the basic requirements from mathematics and computer science. Included are also numerous problem sets, comments, source references, and hints to solutions of problems, as well as a great deal of new material not included in the first edition
3 editions published in 2008 in English and held by 49 WorldCat member libraries worldwide
Written by two experts in the field, this book is ideal for advanced undergraduate students, graduate students, and researchers in computer science, mathematics, cognitive sciences, philosophy, artificial intelligence, statistics, and physics. It is selfcontained in that it contains the basic requirements from mathematics and computer science. Included are also numerous problem sets, comments, source references, and hints to solutions of problems, as well as a great deal of new material not included in the first edition
Programming concepts and methods PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods
(PROCOMET '98), 812 June 1998, Shelter Island, New York, USA by 2.3 International Conference on Programming Concepts and Methods (PROCOMET'98) IFIP TC2/WG2.2(
Book
)
7 editions published in 1998 in English and held by 39 WorldCat member libraries worldwide
7 editions published in 1998 in English and held by 39 WorldCat member libraries worldwide
Der neue Programmierstil gezeigt an PL/1 by
Richard Walter Conway(
Book
)
4 editions published in 1981 in German and held by 33 WorldCat member libraries worldwide
4 editions published in 1981 in German and held by 33 WorldCat member libraries worldwide
ProgramLive : a multimedia Java learning resource by
David Gries(
Book
)
8 editions published between 2000 and 2002 in English and held by 33 WorldCat member libraries worldwide
8 editions published between 2000 and 2002 in English and held by 33 WorldCat member libraries worldwide
Über einige Klassen von Normen by
David Gries(
)
5 editions published in 1966 in German and held by 25 WorldCat member libraries worldwide
5 editions published in 1966 in German and held by 25 WorldCat member libraries worldwide
The ProgramLive companion by
Paul Gries(
Book
)
6 editions published in 2002 in English and held by 24 WorldCat member libraries worldwide
"Featuring a powerful combination of animation, graphics, hypertext, narration, and printed material, the Program Live CD and Companion text offer the most innovative and effective way to master introductory programming skills using the Java language"Page 4 of cover
6 editions published in 2002 in English and held by 24 WorldCat member libraries worldwide
"Featuring a powerful combination of animation, graphics, hypertext, narration, and printed material, the Program Live CD and Companion text offer the most innovative and effective way to master introductory programming skills using the Java language"Page 4 of cover
Elements of computation theory by
Arindama Singh(
)
2 editions published in 2009 in English and held by 18 WorldCat member libraries worldwide
As Computer Science progressively matures as an established discipline, it becomes increasingly important to revisit its theoretical foundations, learn the appropriate techniques for answering theorybased questions, and build one's confidence in implementing this knowledge when building computer applications. Students wellgrounded in theory and abstract models of computation can excel in computing's many application arenas. Through a deft interplay of rigor and intuitive motivation, Elements of Computation Theory comprehensively, yet flexibly provides students with the grounding they need in computation theory. The book is selfcontained and introduces the fundamental concepts, models, techniques, and results that form the basic paradigms of computing. Readers will benefit from the discussion of the ideas and mathematics that computer scientists use to model, to debate, and to predict the behavior of algorithms and computation. Previous learning about set theory and proof by induction are helpful prerequisites. Topics and features: • Contains an extensive use of definitions, proofs, exercises, problems, and other pedagogical aids • Supplies a summary, bibliographical remarks, and additional (progressively challenging) problems in each chapter, as well as an appendix containing hints and answers to selected problems • Reviews mathematical preliminaries such as set theory, relations, graphs, trees, functions, cardinality, Cantor's diagonalization, induction, and the pigeonhole principle • Explores regular languages, covering the mechanisms for representing languages, the closure properties of such languages, the existence of other languages, and other structural properties • Investigates the class of contextfree languages, including contextfree grammars, Pushdown automata, their equivalence, closure properties, and existence of noncontextfree languages • Discusses the true nature of general algorithms, introducing unrestricted grammars, Turing machines, and their equivalence • Examines which tasks can be achieved by algorithms and which tasks can't, covering issues of decision problems in regular languages, contextfree languages, and computably enumerable languages • Provides a concise account of both space and time complexity, explaining the main techniques of log space reduction, polynomial time reduction, and simulations • Promotes students' confidence via interactive learning and motivational, yet informal dialogue • Emphasizes intuitive aspects and their realization with rigorous formalization Undergraduate students of computer science, engineering, and mathematics will find this core textbook ideally suited for courses on the theory of computation, automata theory, formal languages, and computational models. Computing professionals and other scientists will also benefit from the work's accessibility, plethora of learning aids, and motivated exposition. Dr. Arindama Singh is a professor at the Department of Mathematics of the Indian Institute of Technology Madras and has authored books on logic for computer science
2 editions published in 2009 in English and held by 18 WorldCat member libraries worldwide
As Computer Science progressively matures as an established discipline, it becomes increasingly important to revisit its theoretical foundations, learn the appropriate techniques for answering theorybased questions, and build one's confidence in implementing this knowledge when building computer applications. Students wellgrounded in theory and abstract models of computation can excel in computing's many application arenas. Through a deft interplay of rigor and intuitive motivation, Elements of Computation Theory comprehensively, yet flexibly provides students with the grounding they need in computation theory. The book is selfcontained and introduces the fundamental concepts, models, techniques, and results that form the basic paradigms of computing. Readers will benefit from the discussion of the ideas and mathematics that computer scientists use to model, to debate, and to predict the behavior of algorithms and computation. Previous learning about set theory and proof by induction are helpful prerequisites. Topics and features: • Contains an extensive use of definitions, proofs, exercises, problems, and other pedagogical aids • Supplies a summary, bibliographical remarks, and additional (progressively challenging) problems in each chapter, as well as an appendix containing hints and answers to selected problems • Reviews mathematical preliminaries such as set theory, relations, graphs, trees, functions, cardinality, Cantor's diagonalization, induction, and the pigeonhole principle • Explores regular languages, covering the mechanisms for representing languages, the closure properties of such languages, the existence of other languages, and other structural properties • Investigates the class of contextfree languages, including contextfree grammars, Pushdown automata, their equivalence, closure properties, and existence of noncontextfree languages • Discusses the true nature of general algorithms, introducing unrestricted grammars, Turing machines, and their equivalence • Examines which tasks can be achieved by algorithms and which tasks can't, covering issues of decision problems in regular languages, contextfree languages, and computably enumerable languages • Provides a concise account of both space and time complexity, explaining the main techniques of log space reduction, polynomial time reduction, and simulations • Promotes students' confidence via interactive learning and motivational, yet informal dialogue • Emphasizes intuitive aspects and their realization with rigorous formalization Undergraduate students of computer science, engineering, and mathematics will find this core textbook ideally suited for courses on the theory of computation, automata theory, formal languages, and computational models. Computing professionals and other scientists will also benefit from the work's accessibility, plethora of learning aids, and motivated exposition. Dr. Arindama Singh is a professor at the Department of Mathematics of the Indian Institute of Technology Madras and has authored books on logic for computer science
Automatatheoretic aspects of formal power series by
Arto Salomaa(
Book
)
3 editions published in 1978 in English and held by 17 WorldCat member libraries worldwide
3 editions published in 1978 in English and held by 17 WorldCat member libraries worldwide
Construcción de compiladores by
David Gries(
Book
)
3 editions published in 1975 in Spanish and held by 14 WorldCat member libraries worldwide
3 editions published in 1975 in Spanish and held by 14 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Conway, Richard Walter 1931 Author
 Schneider, Fred B. Author Editor
 Zimmerman, E. C. 1932
 Gries, Paul Author
 Wortman, D. B. (David B.)
 Roever, WillemPaul
 Feijen, W. H. J. Author Editor
 Gasteren, A. J. M. Editor
 Misra, J. Author
 Hall, Petra
Useful Links
Associated Subjects
Algorithms Canada Coding theory Compilers (Computer programs) Compiling (Electronic computers) Computable functions Computational complexity Computer programming Computer programmingComputerassisted instruction Computer science Computer software Dijkstra, Edsger W Education Electronic digital computers Formal languages Graphical user interfaces (Computer systems) Information storage and retrieval systems Information theory Java (Computer program language) Java (Computer program language)Computerassisted instruction Kolmogorov complexity Logic, Symbolic and mathematical Logic design Logic programming Machine theory Mathematical statistics Mathematics Multimedia systems Objectoriented programming (Computer science) Optical pattern recognition Pascal (Computer program language) Pattern perception PL/C (Computer program language) PL/CT (Computer program language) PL/I (Computer program language) Power series Scientists Sequential machine theory Software engineering SP/k (Computer program language) Statistics Structured programming United States
Covers
Alternative Names
David Gries Amerikaans informaticus
David Gries amerikansk ingeniør og informatikar
David Gries amerikansk ingeniør og informatiker
David Gries amerikansk ingenjör och datavetare
David Gries informaticien américain
Gries, David
Gries, David 1939...
Gris, D.
Gris, D. 1939
Грис, Д 1939
Грис, Д. (Дэвид), 1939
Грис, Дэвид
دیوید گریس دانشمند علوم کامپیوتر و مهندس آمریکایی
데이비드 그리스
グリース, D.
グリース, デーヴィド
ディビット・グリース
格里斯
Languages