scientific article; zbMATH DE number 7453187

MaRDI QIDQ5020646

Alberto Pettorossi

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/2008.02927

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• The list introduction strategy for the derivation of logic programs
• Using circular programs to eliminate multiple traversals of data
• The lambda calculus. Its syntax and semantics. Rev. ed.
• An iterative solution to the generalized Towers of Hanoi problem
• Towers of Hanoi problems: deriving iterative solutions by program transformations
• Derivation of efficient programs for computing sequences of actions
• Termination of rewriting
• Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique
• A synthesis of several sorting algorithms
• Synchronization trees
• Verification of time-aware business processes using constrained Horn clauses
• Characterization of flowchartable recursions
• The promotion and accumulation strategies in transformational programming
• Proving Theorems about LISP Functions
• A Transformation System for Developing Recursive Programs
• Discussion and correspondence: A note on the Towers of Hanoi problem
• Communicating sequential processes
• Transformations of logic programs with goals as arguments
• Store economy in closed operator schemes
• An Algorithm for Evaluation of Remote Terms in A Linear Recurrence Sequence
• Mathematical foundations of computer science 1978. Proceedings, 7th symposium Zakopane, Poland, September 4-8, 1978
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item