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

DOI10.1145/357172.357175zbMath0483.68035OpenAlexW2062275091MaRDI QIDQ3942388

Peter Pepper, Manfred Broy

Publication date: 1982

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/357172.357175

zbMATH Keywords

verificationprogram transformationfunctional programmingrecursive programsabstract data typeautomatic programmingdepth-first-search algorithmSchorr-Waite graph-marking algorithm

Mathematics Subject Classification ID

Searching and sorting (68P10) Graph theory (including graph drawing) in computer science (68R10) Artificial intelligence (68T99) Data structures (68P05) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (1)

An applicative random-access stack

This page was built for publication: Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm