Boolean-valued loops
From MaRDI portal
Publication:4088262
DOI10.1007/BF01931683zbMath0324.68013MaRDI QIDQ4088262
David S. Wise, Mitchell Wand, Stuart C. Shapiro, Daniel P. Friedman
Publication date: 1975
Published in: BIT (Search for Journal in Brave)
Related Items
Uses Software
Cites Work
- Analysis of structured programs
- Report on the algorithmic language ALGOL 68
- On the capabilities of while, repeat, and exit statements
- Multiple exits from a loop using neither GO TO nor labels
- Flow diagrams, turing machines and languages with only two formation rules
- An axiomatic basis for computer programming
- BLISS
- Flow Graph Reducibility
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item