SIMPLE: A program development system
From MaRDI portal
Publication:3871895
DOI10.1016/0096-0551(80)90050-8zbMath0433.68015MaRDI 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
software; interactive programming; SIMPLE; Pascal programs; intermediate language; block-structure; top-down programming; bottom-up programming; program development system
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software