NEATPL - an aid to the debugging of PL/1 programs

MaRDI QIDQ1132569zbMATH OpenFDO

Authors N. N. Bezrukov

Publication date 1978

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

NeatplPl/1program debugging

Mathematics Subject Classification ID

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

Cited in

(1)

• NEATPL

Describes a project that uses

Uses Software

• PL/I

This page was built for publication: NEATPL - an aid to the debugging of PL/1 programs

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