Theories of programming and formal methods :: essays dedicated to Jifeng He on the occasion of his 80th birthday /: Jonathan P. Bowen, Qin Li, Qiwen Xu, editors.

He, Jifeng,; Bowen, J. P.; Li, Qin,; Xu, Qiwen,

doi:10.1007/978-3-031-40436-8

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 80th birthday / Jonathan P. Bowen, Qin Li, Qiwen Xu, editors.

He, Jifeng, 1943- honouree.; Bowen, J. P. (Jonathan Peter), 1956- editor.; Li, Qin, editor.; Xu, Qiwen, editor.

2023

QA76.9.F67

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 80th birthday / Jonathan P. Bowen, Qin Li, Qiwen Xu, editors.

ISBN

9783031404368 (electronic bk.)
303140436X (electronic bk.)
9783031404351
3031404351

DOI

https://doi.org/10.1007/978-3-031-40436-8

Published

Cham, Switzerland : Springer, 2023.

Language

English

Description

1 online resource (xiv, 413 pages) : illustrations (some color).

Item Number

10.1007/978-3-031-40436-8 doi

Call Number

QA76.9.F67

Dewey Decimal Classification

004.01/51

Summary

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng?s research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng?s recent roadmap for UTP.

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed September 15, 2023).

Added Author

He, Jifeng, 1943- honouree.
Bowen, J. P. (Jonathan Peter), 1956- editor.
Li, Qin, editor.
Xu, Qiwen, editor.

Series

Lecture notes in computer science ; 14080.

Available in Other Form

Print version: 9783031404351