A strange sorting method inspired by formal differentiation

DOI10.1016/0898-1221(81)90058-4MaRDI QIDQ1151046zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• A synthesis of several sorting algorithms
• A Transformation System for Developing Recursive Programs
• High level iterators and a method for automatically designing data structure representation
• scientific article; zbMATH DE number 3637260 (Why is no real title available?)
• Some Observations Concerning Formal Differentiation of Set Theoretic Expressions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1151046)