Glushkov's algorithmic algebras and automated parallel computing design

DOI10.1007/s10559-023-00604-zMaRDI QIDQ6066027

P. I. Andon, O. A. Yatsenko, P. A. Ivanenko, A. Yu. Doroshenko

Publication date: 15 November 2023

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

zbMATH Keywords

algebra of algorithmsparallel computatingprogram design and synthesissoftware autotuning

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) General topics in the theory of algorithms (68W01)

Cites Work

• Foundations of algebraic specification and formal software development.
• Computations in APS
• Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
• Topical directions of informatics. In memory of V. M. Glushkov
• Formal Methods in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Glushkov's algorithmic algebras and automated parallel computing design