A method and a language for constructing iterative programs

DOI10.1016/0167-6423(85)90011-5zbMath0562.68007OpenAlexW2048592344MaRDI QIDQ1057051

Jean-Pierre Finance, Jeanine Souquieres

Publication date: 1985

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(85)90011-5

zbMATH Keywords

iterative programsprogram transformation rules

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: A method and a language for constructing iterative programs