A new roadmap for linking theories of programming

DOI10.1007/978-3-319-52228-9_2MaRDI QIDQ2971173zbMATH OpenOpenAlexFDO

Authors He Jifeng

Publication date 4 April 2017

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-52228-9_2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Linking theories of probabilistic programming
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 3936493
• On the algebraic definition of programming languages

Cites work

• An axiomatic basis for computer programming
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Laws of programming
• Predicative programming Part I
• The B-Book
• The laws of Occam programming
• Unifying theories for logic programming

Cited in

(6)

• A UTP approach for rTiMo
• Integrated Formal Methods
• Jifeng He at Oxford and beyond: an appreciation
• Linking theories of probabilistic programming
• A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming
• Compositional symbolic execution semantics

Describes a project that uses

Uses Software

• Rodin
• Z

This page was built for publication: A new roadmap for linking theories of programming

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