scientific article; zbMATH DE number 5572668

MaRDI QIDQ3635984zbMATH OpenFDO

Authors Stefan Milius, Lawrence S. Moss

Publication date 30 June 2009

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebra and Coalgebra in Computer Science
• Decidable subcases of the equivalence problem for recursive program schemes
• scientific article; zbMATH DE number 4191131
• Recursion equation sets computing logic programs
• Some equivalent transformations of recursive programs based on their schematic properties
• scientific article; zbMATH DE number 4094778
• The category-theoretic solution of recursive program schemes
• Deductive and inductive synthesis of equational programs
• Algebra and Coalgebra in Computer Science
• Algebraic solutions to recursion schemes

Cited in

(6)

• Symbolic evaluation with structural recursive symbolic constants
• scientific article; zbMATH DE number 3947605 (Why is no real title available?)
• scientific article; zbMATH DE number 598180 (Why is no real title available?)
• Fractals from regular behaviours
• The category-theoretic solution of recursive program schemes
• Recursion equation sets computing logic programs

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 Q3635984)