A strange sorting method inspired by formal differentiation

DOI10.1016/0898-1221(81)90058-4zbMath0456.68064OpenAlexW2017034563MaRDI QIDQ1151046

Micha Sharir

Publication date: 1981

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(81)90058-4

zbMATH Keywords

formal program transformation

Mathematics Subject Classification ID

Searching and sorting (68P10) Theory of software (68N99)

Cites Work

• A synthesis of several sorting algorithms
• Some Observations Concerning Formal Differentiation of Set Theoretic Expressions
• A Transformation System for Developing Recursive Programs
• High level iterators and a method for automatically designing data structure representation
• Unnamed Item

This page was built for publication: A strange sorting method inspired by formal differentiation