- Integration of CiNii Books functions for fiscal year 2025 has completed
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on November 26, 2025】Regarding the recording of “Research Data” and “Evidence Data”
- Incorporated Jxiv preprints from JaLC and adding coverage from NDL Search
A proof score approach to formal verification of an imperative programming language compiler
-
- 緒方 和博
- 北陸先端科学技術大学院大学
Bibliographic Information
- Title
- A proof score approach to formal verification of an imperative programming language compiler
- Author
- Dorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata
- Published
- 2018
- Resource Type
- journal article
Journal
-
- Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
-
Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795 - 200-217, 2018
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782280795534
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
