Some Transformations of Relevance to Report Generation

DOI10.1093/COMJNL/30.1.37zbMath0605.68007OpenAlexW2026991440MaRDI QIDQ3742695

A. G. Middleton

Publication date: 1987

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/30.1.37

zbMATH Keywords

program transformationproduction of report generating programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Some Transformations of Relevance to Report Generation