Generalized Program Schemas

DOI10.1137/0205032zbMath0382.68018OpenAlexW2050056673MaRDI QIDQ4160376

Ashok K. Chandra

Publication date: 1976

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0205032

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

On some classes of interpretations, Some thoughts on computational models: from massive human computing to abstract state machines, and beyond