Automatic verification of functional programs

DOI10.1007/BF01068190zbMath0800.68565OpenAlexW2060524942MaRDI QIDQ4007443

K. A. Zubovich, G. A. Drobushevich

Publication date: 27 September 1992

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01068190

zbMATH Keywords

functional programmingautomatic program verification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Cites Work

• Methods and tools for producing programs in a functional programming system
• Rewriting systems on FP expressions to reduce the number of sequences yielded
• On the Development of the Algebra of Functional Programs
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item