Algebraic calculation of graph and sorting algorithms
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 394-413
- https://doi.org/10.1007/bfb0039722
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Towards pointer algebraScience of Computer Programming, 1993
- Formal Program DevelopmentPublished by Springer Nature ,1993
- Specification and Transformation of ProgramsPublished by Springer Nature ,1990
- Program derivation by fixed point computationScience of Computer Programming, 1989
- Formal program construction by transformations-computer-aided, intuition-guided programmingIEEE Transactions on Software Engineering, 1989
- Applicative assertionsLecture Notes in Computer Science, 1989
- Lectures on Constructive Functional ProgrammingPublished by Springer Nature ,1989
- Modèles non déterministes de types abstraitsRAIRO. Informatique théorique, 1982
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977