SIMPLE: A program development system

DOI10.1016/0096-0551(80)90050-8MaRDI QIDQ3871895zbMATH OpenOpenAlexFDO

Authors A. Celentano, P. Della Vigna, Carlo Ghezzi, Dino Mandrioli

Publication date 1980

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-0551(80)90050-8

zbMATH Keywords

block-structurebottom-up programminginteractive programmingintermediate languagePascal programsprogram development systemSIMPLEsoftwaretop-down programming

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: SIMPLE: A program development system

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