scientific article; zbMATH DE number 194003

MaRDI QIDQ4040791zbMATH OpenFDO

Authors Tony Hoare

Publication date 5 June 1993

zbMATH Keywords

collection of selected paperscommunicating sequential processesComputing sciencecorrectnessmonitorsemantics of programsstructured programming

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Collected or selected works; reprintings or translations of classics (01A75) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01) Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Insight, inspiration and collaboration
• Theories of programming. The life and works of Tony Hoare
• scientific article; zbMATH DE number 824739
• scientific article; zbMATH DE number 53117
• Program verification. Fundamental issues in computer science

Cited in

(4)

• Insight, inspiration and collaboration
• scientific article; zbMATH DE number 2104357 (Why is no real title available?)
• CV
• Inter-process buffers in separation logic with rely-guarantee

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4040791)