Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm-Reference-Cited by-同舟云学术

Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm

Published:1982-07 Issue:3 Volume:4 Page:362-381
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Broy Manfred¹,Pepper Peter¹

Affiliation:

1. Institut für Informatik, Technische Universität München, Postfach 202420, D-8000 München 2, W. Germany and Technical University Munich

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Reference21 articles.

1. Can programming be liberated from the von Neumann style?

2. BAUER F.L. AND WOSSNER H. Algorithmic Language and Program Development. To be published by Springer-Verlag New York. BAUER F.L. AND WOSSNER H. Algorithmic Language and Program Development. To be published by Springer-Verlag New York.

3. Applied Computer Science;BROY M.,1978

4. BROY M. MOLLER B. PEPPER P. AND WIRSING M. A model-independent approach to implementations of abstract data types. To appear in Lecture Notes in Computer Science: Proceedings of the Symposium on Algorithmic Logic and the Programming Language LOGAN Poszran 1980 A. Salwicki (Ed.). Springer-Verlag New York. BROY M. MOLLER B. PEPPER P. AND WIRSING M. A model-independent approach to implementations of abstract data types. To appear in Lecture Notes in Computer Science: Proceedings of the Symposium on Algorithmic Logic and the Programming Language LOGAN Poszran 1980 A. Salwicki (Ed.). Springer-Verlag New York.

5. Program development as a formal activity;BROY M.;IEEE Trans. Softw. Eng. SE-7,1980

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm;Formal Methods and Software Engineering;2014

2. Dafny: An Automatic Program Verifier for Functional Correctness;Logic for Programming, Artificial Intelligence, and Reasoning;2010

3. Derivation of graph and pointer algorithms;Formal Program Development;1993

4. Some Applications of Pointer Algebra;Programming and Mathematical Method;1992

5. Formal program construction by transformations-computer-aided, intuition-guided programming;IEEE Transactions on Software Engineering;1989