David Gries

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

Development of Correct Programs.

[BibT_eX]

[DOI]

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2008

A principled approach to teaching OO first.

[BibT_eX]

[DOI]

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

2006

What Have We Not Learned about Teaching Programming?

[BibT_eX]

[DOI]

Computer, 2006

2005

Supporting workflow in a course management system.

[BibT_eX]

[DOI]

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2002

Where is programming methodology these days?

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 2002

In memoriam: Edsger W. Dijkstra 1930-2002.

[BibT_eX]

[DOI]

Commun. ACM, 2002

Problems with CS education.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002

ProgramLive - master Java programming in a dynamic, self-paced learning environment.

[BibT_eX]

[DOI]

Paul Gries

Petra Hall

Wiley, ISBN: 978-0-471-44158-8, 2002

2001

From the Editors of this special issue.

[BibT_eX]

[DOI]

Vicki L. Almstrum

Inf. Process. Lett., 2001

How mathematical thinking enchances computer science problem solving.

[BibT_eX]

[DOI]

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

AP CS goes OO.

[BibT_eX]

[DOI]

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

2000

Recommendations for changes in advanced placement computer science (panel session).

[BibT_eX]

[DOI]

Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

1999

Monotonicity in Calculational Proofs.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 1999

1998

Adding the Everywhere Operator to Propositional Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 1998

Teaching calculational logic.

[BibT_eX]

Proceedings of the Programming Concepts and Methods, 1998

1997

K-M-P String Matching Revisited.

[BibT_eX]

[DOI]

Edward M. Reingold

Kenneth J. Urban

Inf. Process. Lett., 1997

Formal Justification of Underspecification for S5.

[BibT_eX]

[DOI]

Eric Aaron

Inf. Process. Lett., 1997

Audio formatting - Making spoken text and math comprehensible.

[BibT_eX]

[DOI]

T. V. Raman

Int. J. Speech Technol., 1997

1996

Interactive Audio Documents.

[BibT_eX]

[DOI]

T. V. Raman

J. Vis. Lang. Comput., 1996

An Invitation to Formal Methods.

[BibT_eX]

[DOI]

Computer, 1996

Data refinement and the transform.

[BibT_eX]

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995

Audio Formatting - Presenting Structured Information Aurally.

[BibT_eX]

[DOI]

T. V. Raman

Multim. Syst., 1995

Equational Propositional Logic.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Teaching as a logic tool (abstract).

[BibT_eX]

[DOI]

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

Equational Logic as a Tool.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1995

Avoiding the Undefined by Underspecification.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

Teaching Logic as a Tool.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 1994

1993

A Logical Approach to Discrete Math.

[BibT_eX]

[DOI]

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4757-3837-7, 1993

1992

Trace-Based Network Proof Systems: Expressiveness and Completeness.

[BibT_eX]

[DOI]

Jennifer Widom

ACM Trans. Program. Lang. Syst., 1992

A Constructive Proof of Vizing's Theorem.

[BibT_eX]

[DOI]

Jayadev Misra

Inf. Process. Lett., 1992

The 1990-91 Taulbee Survey Report.

[BibT_eX]

[DOI]

Computer, 1992

The 1989-90 Taulbee Survey.

[BibT_eX]

[DOI]

Commun. ACM, 1992

Are formal methods useful for software development?

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Teaching Calculation and Discrimination: A More Effective Curriculum.

[BibT_eX]

[DOI]

Commun. ACM, 1991

1990

The Transform - a New Language Construct.

[BibT_eX]

Dennis M. Volpano

Struct. Program., 1990

The 1988-89 Taulbee Survey Report.

[BibT_eX]

[DOI]

Commun. ACM, 1990

Instilling Professionalism in Software Engineers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 1990

1989

An Algorithm for Transitive Reduction of an Acyclic Graph.

[BibT_eX]

[DOI]

Jan L. A. van de Snepscheut

Alain J. Martin

Jan Tijmen Udding

Sci. Comput. Program., 1989

An Optimal Parallel Algorithm for Generating Combinations.

[BibT_eX]

[DOI]

Selim G. Akl

Ivan Stojmenovic

Inf. Process. Lett., 1989

The 1987-88 Taulbee Survey Report.

[BibT_eX]

[DOI]

Computer, 1989

The 1988 Snowbird Report: A Discipline Matures.

[BibT_eX]

[DOI]

Terry Walker

Paul Young

Commun. ACM, 1989

The 1987-1988 Taulbee Survey.

[BibT_eX]

[DOI]

Commun. ACM, 1989

The Cornell Commission: On Morris and the Worm.

[BibT_eX]

[DOI]

Commun. ACM, 1989

Computing as a Discipline.

[BibT_eX]

[DOI]

Commun. ACM, 1989

Position Statement on the Foundations of Software Engineering.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

My Thoughts on Software Engineering in the Late 1960s.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Developing a Linear Algorithm for Cubing a Cyclic Permutation.

[BibT_eX]

[DOI]

Jinyun Xue

Sci. Comput. Program., 1988

The 1986-1987 Taulbee Survey.

[BibT_eX]

[DOI]

Commun. ACM, 1988

Generating a Random Cycle Permutation.

[BibT_eX]

[DOI]

Jinyun Xue

BIT, 1988

Computing as a discipline: preliminary report of the ACM task force on the core of computer science.

[BibT_eX]

[DOI]

Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988

1987

McLaren's Masterpiece.

[BibT_eX]

[DOI]

Jan F. Prins

Sci. Comput. Program., 1987

Horner's Rule and the Computation of Linear Recurrences.

[BibT_eX]

[DOI]

Adriano Pascoletti

Luigi Sbriz

Inf. Process. Lett., 1987

A Note on Graham's Convex Hull Algorithm.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1987

In-situ Inversion of a Cyclic Permutation.

[BibT_eX]

[DOI]

W. H. J. Feijen

A. J. M. van Gasteren

Inf. Process. Lett., 1987

The 1985-1986 Taulbee Survey.

[BibT_eX]

[DOI]

Commun. ACM, 1987

Completeness and Incompleteness of Trace-Based Network Proof Systems.

[BibT_eX]

[DOI]

Jennifer Widom

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

Models for Re-Use.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

1986

A Model and Temporal Proof System for Networks of Processes.

[BibT_eX]

[DOI]

Distributed Comput., 1986

The 1984-85 Taulbee Survey.

[BibT_eX]

[DOI]

Computer, 1986

Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding.

[BibT_eX]

[DOI]

Commun. ACM, 1986

The 1984-1985 Taulbee Survey.

[BibT_eX]

[DOI]

Commun. ACM, 1986

1985

A new notion of encapsulation.

[BibT_eX]

[DOI]

Jan F. Prins

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

General Correctness: A Unification of Partial and Total Correctness.

[BibT_eX]

[DOI]

Dean Jacobs

Acta Informatica, 1985

A Model and Temporal Proof System for Networks of Processes.

[BibT_eX]

[DOI]

Van Nguyen

Susan S. Owicki

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Behavior: A Temporal Approach to Process Modelling.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, 1985

1984

Fault-Tolerant Broadcasts.

[BibT_eX]

[DOI]

Richard D. Schlichting

Sci. Comput. Program., 1984

1982

Letter to Dr. Susan Gerhart: comments on two book reviews.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1982

Finding Repeated Elements.

[BibT_eX]

[DOI]

Jayadev Misra

Sci. Comput. Program., 1982

A Note on a Standard Strategy for Developing Loop Invariants and Loops.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1982

1981

A Proof Technique for Communicating Sequential Processes.

[BibT_eX]

[DOI]

Gary Levin

Acta Informatica, 1981

The Science of Programming.

[BibT_eX]

[DOI]

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-5983-1, 1981

1980

Assignment and Procedure Call Proof Rules.

[BibT_eX]

[DOI]

Gary Levin

ACM Trans. Program. Lang. Syst., 1980

Eliminating the chaff.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1980

Controlled Density Sorting.

[BibT_eX]

[DOI]

Robert Melville

Inf. Process. Lett., 1980

Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time.

[BibT_eX]

[DOI]

Gary Levin

Inf. Process. Lett., 1980

Educating the Programmer: Notation, Proofs and the Development of Programs.

[BibT_eX]

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

Is Sometimes Ever Better Than Alway?

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1979

The Schorr-Waite Graph Marking Algorithm.

[BibT_eX]

[DOI]

Acta Informatica, 1979

1978

The Multiple Assignment Statement.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1978

ACM SIGPLAN history of programming languages conference ALGOL 60 language summary.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1978

Language Facilities for Programming User-Computer Dialogues.

[BibT_eX]

[DOI]

Juan M. Lafuente

IBM J. Res. Dev., 1978

A Linear Sieve Algorithm for Finding Prime Numbers.

[BibT_eX]

[DOI]

Jayadev Misra

Commun. ACM, 1978

Is Sometimes Ever Better Than Always?

[BibT_eX]

[DOI]

Proceedings of the Program Construction, International Summer School, July 26, 1978

Basic Axiomatic Definitions.

[BibT_eX]

[DOI]

Proceedings of the Program Construction, International Summer School, July 26, 1978

Current Ideas in Programming Methodology.

[BibT_eX]

[DOI]

Proceedings of the Program Construction, International Summer School, July 26, 1978

Parallel Programming.

[BibT_eX]

[DOI]

Proceedings of the GI - 8. Jahrestagung, Berlin, 1978, Proceedings, 1978

1977

Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs".

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1977

Some Ideas on Data Types in High-Level Languages.

[BibT_eX]

[DOI]

Narain H. Gehani

Commun. ACM, 1977

An Exercise in Proving Parallel Programs Correct.

[BibT_eX]

[DOI]

Commun. ACM, 1977

1976

An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1976

Verifying Properties of Parallel Programs: An Axiomatic Approach.

[BibT_eX]

[DOI]

Susan S. Owicki

Commun. ACM, 1976

An Axiomatic Proof Technique for Parallel Programs I.

[BibT_eX]

[DOI]

Susan S. Owicki

Acta Informatica, 1976

Some Comments on Programming Language Design.

[BibT_eX]

[DOI]

Proceedings of the Programmiersprachen, 1976

An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering, 1976

Error Recovery and Correction - An Introduction to the Literature.

[BibT_eX]

Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

1974

Panel discussion on structured programming.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 1974

What should we teach in an introductory programming course?

[BibT_eX]

[DOI]

Proceedings of the 4th SIGCSE Technical Symposium on Computer Science Education, 1974

1973

Describing an Algorithm by Hopcroft

[BibT_eX]

Acta Informatica, 1973

1972

On Classes of Program Schemata.

[BibT_eX]

[DOI]

Robert L. Constable

SIAM J. Comput., 1972

Program Schemes with Pushdown Stores.

[BibT_eX]

[DOI]

Steven Brown

Thomas G. Szymanski

SIAM J. Comput., 1972

Programming by Induction.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1972

1971

Compiler Construction for Digital Computers

[BibT_eX]

John Wiley, ISBN: 0-471-32776-X, 1971

1968

Use of transition matrices in compiling.

[BibT_eX]

[DOI]

Commun. ACM, 1968

Translator writing systems.

[BibT_eX]

[DOI]

Jerome A. Feldman

Commun. ACM, 1968

1967

The ALCOR Illinois 7090/7094 post mortem dump.

[BibT_eX]

[DOI]

Commun. ACM, 1967

1965

Some techniques used in the ALCOR ILLINOIS 7090.

[BibT_eX]

[DOI]