And/Or Programs: A New Approach to Structured Programming
From MaRDI portal
Publication:3922136
DOI10.1145/357084.357085zbMath0468.68015OpenAlexW1966535250MaRDI QIDQ3922136
Publication date: 1980
Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/357084.357085
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Communication in concurrent dynamic logic, Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic