检索结果-南通市图书馆

A formal semantics for program debugging

science china(Information sciences) 2012年第1期55卷 133-148页

作者： li wei1&li ning1,2 1state key laboratory of software development environment,school of computer science and engineering,beihang university,beijing 100191,china 2china ship research and development academy,beijing 100192,china 1. state key laboratory of software development environment School of Computer Science and Engineering Beihang University Beijing 100191 China2. China Ship Research and Development Academy Beijing 100192 China

This work aims to build a semantic framework for automated debugging.A debugging process consists of tracing,locating,and fixing processes *** first two processes are accomplished by a tracing procedure and a locating procedure,*** tracing procedure reproduces the execution of the failed test case with well-designed data structures and saves necessary information for locating *** locating procedure will use the information obtained from the tracing procedure to locate ill-designed statements and to generate a system of fix-equations,whose solution will be used to fix the bugs.A structural operational semantics is given to define the functions of the tracing and locating *** of them are proved to *** main task of fixing process is to solve the *** turns out that for a given failed test case,there exist four types of fix-equations and three dierent solutions:1)The bug is solvable,i.e.,there exists a solution of the system of fix-equations,and the program can be repaired.2)There exists a structural design error in the program,i.e.,the system of fix-equations generated at each round of the locating procedure is solvable,but a new bug will arise when the old bug is being fixed.3)There exists a logical design error,and the system of fix-equations is not solvable.

关键词： debugging operational semantics failed test case fix-equations

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

CEPC Technical Design Report

引用

Radiation Detection Technology and Methods 2024年第1期8卷 I0003-I0016,1-1091页

作者： Waleed Abdallah Tiago Carlos Adorno de Freitas Konstantin Afanaciev Shakeel Ahmad Ijaz Ahmed Xiaocong Ai Abid Aleem Wolfgang Altmannshofer Fabio Alves weiming An Rui An Daniele Paolo Anderle Stefan Antusch Yasuo Arai Andrej Arbuzov Abdesslam Arhrib Mustafa Ashry Sha Bai Yu Bai Yang Bai Vipul Bairathi Csaba Balazs Philip Bambade Yong Ban Tripamo Bandyopadhyay Shou-Shan Bao Desmond P.Barber Ayse Bat Varvara Batozskaya Subash Chandra Behera Alexander Belyaev Michele Bertucci Xiao-Jun Bi Yuanjie Bi Tianjian Bian Fabrizio Bianchi Thomas Biekotter Michela Biglietti Shalva Bilanishvili Deng Binglin Denis Bodrov Anton Bogomyagkov Serge Bondarenko Stewart Boogert Maarten Boonekamp Marcello Borri Angelo Bosotti Vincent Boudry Mohammed Boukidi Igor Boyko Ivanka Bozovic Giuseppe Bozzi Jean-Claude Brient Anastasiia Budzinskaya Masroor Bukhari Vladimir Bytev Giacomo Cacciapaglia Hua Cai Wenyong Cai Wujun Cai Yijian Cai Yizhou Cai Yuchen Cai Haiying Cai Huacheng Cai Lorenzo Calibbi Junsong Cang Guofu Cao Jianshe Cao Antoine Chance Xuejun Chang Yue Chang Zhe Chang Xinyuan Chang wei Chao Auttakit Chatrabhuti Yimin Che Yuzhi Che Bin Chen Danping Chen Fuqing Chen Fusan Chen Gang Chen Guoming Chen Hua-Xing Chen Huirun Chen Jinhui Chen Ji-Yuan Chen Kai Chen Mali Chen Mingjun Chen Mingshui Chen ning Chen Shanhong Chen Shanzhen Chen Shao-Long Chen Shaomin Chen Shiqiang Chen Tianlu Chen wei Chen Xiang Chen Xiaoyu Chen Xin Chen Xun Chen Xurong Chen Ye Chen Ying Chen Yukai Chen Zelin Chen Zilin Chen Gang Chen Boping Chen Chunhui Chen Hok Chuen Cheng Huajie Cheng Shan Cheng Tongguang Cheng Yunlong Chi Pietro Chimenti Wen Han Chiu Guk Cho Ming-Chung Chu Xiaotong Chu Ziliang Chu Guglielmo Coloretti Andreas Crivellin Hanhua Cui Xiaohao Cui Zhaoyuan Cui Brunella D'Anzi ling-Yun Dai Xinchen Dai Xuwen Dai Antonio De Maria Nicola De Filippis Christophe De La Taille Francesca De Mori Chiara De Sio Elisa Del Core Shuangxue Deng wei-Tian Deng Zhi Deng Ziyan Deng Bhupal Dev Tang Dewen Biagio Di Micco Ran Ding Siqin Dingl Yadong Ding Haiyi Dong Jianin AGH university of science and Technology Faculty of Physics and Applied Computer ScienceKrakow Anhui university HefeiAnhui Applied Physics Department Federal Urdu University of ArtsScience and TechnologyIslamabad Banaras Hindu university Institute of ScienceVaranasi Bandirma Onyedi Eylul university Bandirma beihang university Beijing beijing Computational science research Center Beijing beijing Conveyi LTD Beijing beijing Glass research Institute Co. LtdBeijing beijing Institute of Technology Beijing beijing Normal university Beijing Brown university ProvidenceRI Budker Institute of Nuclear Physics Novosibirsk Cadi Ayyad university Laboratory of Fundamental and Applied PhysicsPolydisciplinary FacultyMarrakech Cairo university Giza Center for Theory and Computation National Tsing Hua UniversityHsinchu Central china Normal university WuhanHubei Central South university ChangshaHunan Centro de Fisica Teorica de Particulas Universidade Tecnica de LisboaLisboa Chengdu KaitengSifang Digital Radio&TV Equipment Co. LtdChengduSichuan china academy of engineering physics MianyangSichuan china building materials academy Beijing china Center of Advanced science and Technology Beijing china Institute of Atomic Energy Beijing china Jiliang university HangzhouZhejiang china Nuclear Instrument CO. LTDBeijing china university of Geosciences Beijing china university of Geosciences WuhanHubei china university of Mining and Technology XuzhouJiangsu china West Normal university NanchongSichuan Chongqing university Department of PhysicsChongqing Chulalongkorn university Bangkok City university of Hong Kong Department of PhysicsHong Kong Cockcroft Institute Daresbury Cornell university IthacaNY CPPM(AMU/IPhU&CNRS/INP) Marseille Dalian Minzu university DalianLiaoning Dalian university of Technology Department of PhysicsDalian Deutsches Elektronen-Synchrotron DESY Hamburg Dzhelepov laboratory of Nuclear Problems of Joint Institute for Nuclear research(DLNP JINR) Dubna East china university Of science And Technol

The Circular Electron Positron Collider(CEPC)is a large scientific project initiated and hosted by china,fostered through extensive collaboration with international *** complex comprises four accelerators:a 30 GeV linac,a 1.1 GeV Damping Ring,a Booster capable of achieving energies up to 180 GeV,and a Collider operating at varying energy modes(Z,W,H,and tt).The linac and Damping Ring are situated on the surface,while the subterranean Booster and Collider are housed in a 100 km circumference underground tunnel,strategically accommodating future expansion with provisions for a potential Super Proton Proton Collider(SPPC).The CEPC primarily serves as a Higgs *** its baseline design with synchrotron radiation(SR)power of 30 MW per beam,it can achieve a luminosity of 5×10^(34)cm^(-2)s^(-1)per interaction point(IP),resulting in an integrated luminosity of 13 ab^(-1)for two IPs over a decade,producing 2.6 million Higgs *** the SR power to 50 MW per beam expands the CEPC's capability to generate 4.3 million Higgs bosons,facilitating precise measurements of Higgs coupling at sub-percent levels,exceeding the precision expected from the HL-LHC by an order of *** Technical Design Report(TDR)follows the Preliminary Conceptual Design Report(Pre-CDR,2015)and the Conceptual Design Report(CDR,2018),comprehensively detailing the machine's layout,performance metrics,physical design and analysis,technical systems design,R&D and prototyping efforts,and associated civil engineering ***,it includes a cost estimate and a preliminary construction timeline,establishing a framework for forthcoming engineering design phase and site selection *** is anticipated to begin around 2027-2028,pending government approval,with an estimated duration of 8 *** commencement of experiments and data collection could potentially be initiated in the mid-2030s.

关键词： initiated exceeding precise

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：