Jifeng He at Oxford and beyond: an appreciation

DOI10.1007/978-3-031-40436-8_1MaRDI QIDQ6118751zbMATH OpenOpenAlexFDO

Authors Jonathan P. Bowen, Huibiao Zhu

Publication date 28 February 2024

Published in Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-40436-8_1

zbMATH Keywords

formal methodsunifying theories of programmingprovably correct systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)

Recommendations

• Insight, inspiration and collaboration
• Theories of programming. The life and works of Tony Hoare
• scientific article; zbMATH DE number 1531624
• The legacy of a great researcher
• Hoàng Tuy (7 December 1927 -- 14 July 2019) -- in appreciation

Cites work

• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 3974258 (Why is no real title available?)
• scientific article; zbMATH DE number 4020448 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1949639 (Why is no real title available?)
• scientific article; zbMATH DE number 1852174 (Why is no real title available?)
• A calculus of communicating systems
• A calculus of durations
• A discrete geometric model of concurrent program execution
• A hybrid relational modelling language
• A new roadmap for linking theories of programming
• A predicative semantics for the refinement of real-time systems
• A process algebraic framework for specification and validation of real-time systems
• A relational approach to an algebraic community: from Paul Erdős to He Jifeng
• A specification-oriented semantics for the refinement of real-time systems
• Advanced features of duration calculus and their applications in sequential hybrid programs
• An approach to the specification and verification of a hardware compilation scheme
• CSP Is a Retract of CCS
• CSP is a retract of CCS
• Formal Methods for Components and Objects
• From algebra to operational semantics
• Hoare and He’s Unifying Theories of Programming
• Laws of programming
• List of Tony Hoare’s Publications
• Normal form approach to compiler design
• Prespecification in data refinement
• Probabilistic models for the guarded command language
• Review on Theories of Programming: The Life and Works of Tony Hoare
• Specification, verification and prototyping of an optimized compiler
• The Rely-Guarantee method for verifying shared variable concurrent programs
• The weakest prespecification
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
• Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday
• Theories of programming. The life and works of Tony Hoare
• Transaction calculus (invited paper)
• Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4--5, 2016. Revised selected papers
• rCOS: a refinement calculus of object systems

This page was built for publication: Jifeng He at Oxford and beyond: an appreciation

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