Lattice structure segmentation of ALGOL-like programs

DOI10.1002/SPE.4380090608MaRDI QIDQ4179807zbMATH OpenOpenAlexFDO

Authors Satoru Kawai

Publication date 1979

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

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

zbMATH Keywords

Algol 68cProgram Segmentation

Mathematics Subject Classification ID

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

Describes a project that uses

Uses Software

• ALGOL 68

This page was built for publication: Lattice structure segmentation of ALGOL-like programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4179807)