Glushkov algebras and clone theory

DOI10.1023/B:CASA.0000003501.97990.e5zbMath1091.68072MaRDI QIDQ2487910

Yanyan Li

Publication date: 12 August 2005

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

clone; algebra of programs; algebraic algorithmics; iteration and recursion; paradigms and tools of programming

Mathematics Subject Classification ID

08A70: Applications of universal algebra in computer science

68Q65: Abstract data types; algebraic specification

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Formalization of the object classification algorithm, Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics, Transformational reducibility and synthesis of algorithms and programs of symbolic processing