Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
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 o...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Électronique eBook |
| Langue: | anglais |
| Publié: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Édition: | 1st ed. 2023. |
| Collection: | Lecture Notes in Computer Science,
14080 |
| Sujets: | |
| Accès en ligne: | https://doi.org/10.1007/978-3-031-40436-8 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-40436-8 | ||
| 003 | DE-He213 | ||
| 005 | 20260810161352.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230809s2023 sz | o |||| 0|eng d | ||
| 020 | |a 9783031404368 |9 978-3-031-40436-8 | ||
| 024 | 7 | |a 10.1007/978-3-031-40436-8 |2 doi | |
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 245 | 1 | 0 | |a Theories of Programming and Formal Methods |h [electronic resource] : |b Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / |c edited by Jonathan P. Bowen, Qin Li, Qiwen Xu. |
| 250 | |a 1st ed. 2023. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2023. | |
| 300 | |a 1 online resource (XIV, 413 p. 92 illus.). |b 63 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14080 | |
| 505 | 0 | |a Jifeng He’s Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap. | |
| 520 | |a 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 inthe 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. | ||
| 588 | |a Print version record. | ||
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Computer science. | |
| 650 | 1 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 700 | 1 | |a Bowen, Jonathan P. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Li, Qin. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Xu, Qiwen. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031404351 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031404375 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14080 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-40436-8 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||