SIMPLE: A program development system

DOI10.1016/0096-0551(80)90050-8zbMath0433.68015OpenAlexW2073004991MaRDI QIDQ3871895

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

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

softwareinteractive programmingSIMPLEPascal programsintermediate languageblock-structuretop-down programmingbottom-up programmingprogram development system

Mathematics Subject Classification ID

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