Conferences in DBLP
Edsger W. Dijkstra A More Formal Treatment of a Less Simple Example. [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra Stationary Behaviour of Some Ternary Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra Finding the Correctness Proof of a Concurrent Program. [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra On the Interplay between Mathematics and Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra A Theorem about Odd Powers of Odd Integers. [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra In Honour of Fibonacci. [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra On the Foolishness of "Natural Language Programming". [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra Program Inversion. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries The Schorr-Waite Graph Marking Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries Eliminating the Chaff. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries Current Ideas in Programming Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries Basic Axiomatic Definitions. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries The Multiple Assignment Statement. [Citation Graph (0, 0)][DBLP ] Conf ] David Gries Is Sometimes Ever Better Than Always? [Citation Graph (0, 0)][DBLP ] Conf ] James J. Horning A Case Study in Language Design: Euclid. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph L. London , John V. Guttag , James J. Horning , Butler W. Lampson , James G. Mitchell , Gerald J. Popek Proof Rules for the Programming Language Euclid. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Horning Verification of Euclid Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Susan S. Owicki Specifications and Proofs for Abstract Data Types in Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Susan S. Owicki Specification and Verification of a Network Nail System. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich L. Bauer Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich L. Bauer , Manfred Broy , Helmuth Partsch , Peter Pepper , Hans Wössner Systematics of Transformation Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Wössner , Peter Pepper , Helmuth Partsch , Friedrich L. Bauer Special Transformation Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Pepper A Study on Transformational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich L. Bauer Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Helmuth Partsch , Manfred Broy Examples for Change of Types and Object Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Griffiths Development of the Schorr-Waite Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Susan L. Gerhart A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Horning Programming Languages for Reliable Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Griffiths Programming Methodology and Language Implications. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich L. Bauer , Manfred Broy , Rupert Gnatz , Wolfgang Hesse , Bernd Krieg-Brückner , Helmuth Partsch , Peter Pepper , Hans Wössner Towards a Wide Spectrum Language to Support Program Specification and Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Rupert Gnatz , Martin Wirsing Semantics of Nondeterministic and Noncontinuous Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] John V. Guttag Notes on Type Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Pair Some Theoretical Aspects of Program Construction. [Citation Graph (0, 0)][DBLP ] Conf ] 