Derivation of efficient programs for computing sequences of actions
Reads0
Chats0
TLDR
Using the proposed methods it is possible to answer Hayes' long-standing challenge for deriving a very fast on-line program for the Towers of Hanoi and similarly defined problems.About:
This article is published in Theoretical Computer Science.The article was published on 1987-08-01 and is currently open access. It has received 6 citations till now. The article focuses on the topics: Program transformation & Sequence.read more
Citations
More filters
Journal ArticleDOI
Rules and strategies for transforming functional and logic programs
TL;DR: An overview of the program transformation methodology, focusing on the so-called “rules + strategies” approach in the case of functional and logic programs, is presented.
Book
The Tower of Hanoi – Myths and Maths
TL;DR: This is the first comprehensive monograph on the mathematical theory of the solitaire game The Tower of Hanoi which was invented in the 19th century by the French number theorist douard Lucas and contains a thorough, largely self-contained presentation of the essential mathematical facts with complete proofs.
The Tower of Hanoi: A Bibliography
TL;DR: In this edition, an attempt has been made to include every relevant document published during the first 100 years of the Tower of Hanoi’s history, from 1883 through 1983.
Book ChapterDOI
Rules and Strategies for Program Transformation
TL;DR: An overview of the program transformation methodology, focusing on the so-called ‘rules + strategies’ approach in the case of functional and logic programs, is presented.
Journal ArticleDOI
A Historical Account of My Early Research Interests.
TL;DR: In this paper, the authors present a brief account of some of their early research interests, starting from their laurea thesis on Signal Theory and their master thesis on Computation Theory, and recall some results in Combinatory Logic and Term Rewriting Systems.
References
More filters
Journal ArticleDOI
A Transformation System for Developing Recursive Programs
Rod M. Burstall,John Darlington +1 more
TL;DR: A system of rules for transforming programs, with the programs in the form of recursion equations, are described, with an initially very simple, lucid, and hopefully correct program transformed into a more efficient one by altering the recursion structure.
Journal ArticleDOI
Ueber die stetige Abbildung einer Line auf ein Flächenstück
TL;DR: DigiZeitschriften e.V. as mentioned in this paper gewährt ein nicht exklusives, nicht übertragbares, persönliches and beschränktes Recht auf Nutzung dieses Dokuments.
Comparative schematology
Mike Paterson,Carl Hewitt +1 more
TL;DR: The notion of universal programming languages was introduced in this article, where it was shown that a simple language with some basic arithmetic can express programs for any partial recursive function and that such an encoding is usually quite unnatural and impossibly inefficient.
Journal Article
Addendum to “The Promotion and Accumulation Strategies in Transformational Programming”
TL;DR: Illustration de ces strategies en devinant des algorithmes pour 2 problemes non-triviaux: 1) determiner si un digraphe donne est acyclique, and 2) construire la plus longue sous sequence d'une sequence donne de sommets.
Journal ArticleDOI
The promotion and accumulation strategies in transformational programming
TL;DR: In this article, a strategy for promotion en programmation de transformation is proposed, which is en general a methode for acquerir une efficacite en exploitant la structure recursive, dans le terme dominant d'une expression algorithmique.