scientific article; zbMATH DE number 7453187

MaRDI QIDQ5020646zbMATH OpenFDO

Authors Alberto Pettorossi

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/2008.02927, http://eptcs.web.cse.unsw.edu.au/paper.cgi?VPTHCVS2020.1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A synthesis of several sorting algorithms
• A Transformation System for Developing Recursive Programs
• An Algorithm for Evaluation of Remote Terms in A Linear Recurrence Sequence
• An iterative solution to the generalized Towers of Hanoi problem
• Characterization of flowchartable recursions
• Communicating sequential processes
• Derivation of efficient programs for computing sequences of actions
• Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique
• Discussion and correspondence: A note on the Towers of Hanoi problem
• scientific article; zbMATH DE number 1615258 (Why is no real title available?)
• scientific article; zbMATH DE number 3938542 (Why is no real title available?)
• scientific article; zbMATH DE number 3653566 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 3707777 (Why is no real title available?)
• scientific article; zbMATH DE number 3731310 (Why is no real title available?)
• scientific article; zbMATH DE number 3746419 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3765107 (Why is no real title available?)
• scientific article; zbMATH DE number 3784244 (Why is no real title available?)
• scientific article; zbMATH DE number 25189 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 177791 (Why is no real title available?)
• scientific article; zbMATH DE number 3518770 (Why is no real title available?)
• scientific article; zbMATH DE number 4124988 (Why is no real title available?)
• scientific article; zbMATH DE number 549961 (Why is no real title available?)
• scientific article; zbMATH DE number 1926610 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• scientific article; zbMATH DE number 3229496 (Why is no real title available?)
• scientific article; zbMATH DE number 3250199 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Mathematical foundations of computer science 1978. Proceedings, 7th symposium Zakopane, Poland, September 4-8, 1978
• Proving Theorems about LISP Functions
• Store economy in closed operator schemes
• Synchronization trees
• Termination of rewriting
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The list introduction strategy for the derivation of logic programs
• The promotion and accumulation strategies in transformational programming
• Towers of Hanoi problems: deriving iterative solutions by program transformations
• Transformations of logic programs with goals as arguments
• Using circular programs to eliminate multiple traversals of data
• Verification of time-aware business processes using constrained Horn clauses

Cited in

(1)

• scientific article; zbMATH DE number 7401752 (Why is no real title available?)

This page was built for publication:

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