An analysis of Pascal programs in compiler writing

DOI10.1002/SPE.4380100206zbMath0428.68016OpenAlexW2067761071MaRDI QIDQ3865435

Katsuo Ikeda, Masaaki Shimasaki, T. Kiyono, Shigeru Fukaya

Publication date: 1980

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380100206

zbMATH Keywords

Pascal programscompiler writingstepwise refinement programming

Mathematics Subject Classification ID

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

Related Items (1)

Access mechanisms in block structured environments

This page was built for publication: An analysis of Pascal programs in compiler writing