摘要：软件代码的功能提取是功能集成的最基本前提,但软件功能提取普遍存在正确率低的问题.为此,提出基于Clight形式语义的代码功能描述提取机制,并用Clight代码功能描述算法实现.该机制严格基于Clight自然语义推理规则,忽略代码执行的中间细节,只关注执行前后的存储状态,并以此作为代码的功能描述,提高了功能提取的正确率和关键领域软件开发的成功率.
 以下的关键词都是这篇摘要合适的关键词吗？关键词：自然语义，形式语义，Clight，形式语义。答案是：
选项：是的，不是
答案：不是

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?西安人家门口的樱桃采摘园，何必舍近求远
答案：农业

下面两个句子语义是“相同”或“不同”？“花呗点击还款就是跳转不了还款页面怎么办”，“钱不够，花呗怎么还”。选项：相同，不同。答案：不同

什么类别最好的描述了这段话？5G投票门，联想应该如何应对？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：科技

这篇新闻会出现在哪个栏目？贾跃亭旗下FF在广州成立销售公司，内部信称将全面登陆中国
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：财经

下面两个句子语义是“相同”或“不同”？“我的蚂蚁花呗开通不了了”，“我的花呗还没开通”。选项：相同，不同。答案：不同

我想知道下面两句话的意思是否相同。“花呗双十一临时额度可以分期付款吗”，“蚂蚁花呗临时额度可以分期还吗”是相同的吗？。选项：是的，不是。答案：是的

这是关于哪方面的新闻？独角兽概念股名单一览
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：科技

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?马苏为宣传新片《如影随心》来到戛纳电影节当起了小浪的导游
答案：旅游

哪个类别最好的描述了这篇新闻？在剧场遇到熊孩子怎么办？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：教育

什么类别最好的描述了这段话？夏天发大水时，汽车进到水里时如何逃生？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：汽车

这篇新闻会出现在哪个栏目？巴厘岛有哪些重要节日？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：旅游

这篇新闻会出现在哪个栏目？科比的能力这么强，为什么只有一个常规赛MVP？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：体育

哪个类别最好的描述了这篇新闻？美国退出伊核协议后，还会有其他协议国相继退出吗？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：国际

下面两个句子语义是“相同”或“不同”？“花呗额度能帮我降低吗”，“花呗额度怎么还能降低”。选项：相同，不同。答案：相同

什么类别最好的描述了这段话？环卫工。做起早餐生意，大妈说早知道这样赚钱。今年房子首付有望
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：农业

哪个类别最好的描述了这篇新闻？如何看待张召忠将军说到日本都做不出像国产C919这样的大飞机的观点？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：军事

这篇新闻会出现在哪个栏目？五方光电采销数据可信度低 材料成本数据核算异常
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：财经

这篇新闻会出现在哪个栏目？本人26未婚女性，房贷36万，有10万闲钱，是提前还房贷，买车还是用来理财呢？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：财经

我想知道下面两句话的意思是否相同。“我是不是永远都开通不了借呗了”，“借呗以后也开通不了了吗”是相同的吗？。选项：是的，不是。答案：是的

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?微信支付是否已远远超过支付宝？
答案：科技

这个是关于哪方面的App应用程序的描述？银行，社区，电商，支付，经营，卡牌，借贷，驾校，理财，职考，新闻，旅游，交通，魔幻，医疗，影像，动作，工具，体育，小说，运动，相机，工具，快递，教育，股票，菜谱，行车，仙侠，亲子，购物，射击，漫画，小学，同城，成人，求职，电子，艺术，赚钱，约会，经营，兼职，视频，音乐，英语，棋牌，摄影，养生，办公，政务，视频，论坛，彩票，直播，其他，休闲，策略，通讯，买车，违章，地图，民航，电台，语言，搞笑，婚恋，超市，养车，杂志，在线，家政，影视，装修，资讯，社交，餐饮，美颜，挂号，飞行，预定，票务，笔记，买房，外卖，母婴，打车，情侣，日程，租车，博客，百科，绘画，铁路，生活，租房，酒店，保险，问答，收款，竞技，唱歌，技术，减肥，工作，团购，记账，女性，公务，二手，美妆，汽车，行程，免费，教辅，两性，出国，婚庆，民宿宝宝画画游戏是一款帮助宝宝开发智力的儿童类教育游戏、宝宝可以通过填色画画来认知和感受颜色，本游戏提供了字母、数字、动物、常见物品等多种道具提供给宝宝们涂色上色，在玩耍的同时开发智力，寓教于乐。本游戏集合了、自由画板、宝宝填色、钢琴等丰富的玩法、并且持续的给用户带来更多的更新。画画是早期教育中的一个重要内容，细心地家长会发现，从1岁多开始，很多宝宝就喜欢拿着笔涂涂画画，或者让家长跟他一起画。这正是孩子在语言发展尚不够完善的情况下，进行自我表达的自我方式。绘画有助于孩子思维、感知和观察能力的发展，家长有意识地教导孩子绘画还能开发孩子的智力。所以，作为家长，一定要重视孩子的绘画兴趣，这是孩子智力启蒙和进一步学习的关键。,宝宝儿童画画涂色游戏开发智力,1、新增钢琴玩法
答案：亲子儿童

哪个类别最好的描述了这篇新闻？英国推出全球首家太空游机构！富豪们：这一天终于等到了
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：旅游

我想知道下面两句话的意思是否相同。“为什么退款的钱，花呗没显示”，“花呗出账本没有那么多，但是为什么会显示那么多钱”是相同的吗？。选项：是的，不是。答案：不是

哪个类别最好的描述了这篇新闻？事业单位公共基础：每天那么苦，不就是为了自己一份甜吗？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：文化

哪个类别最好的描述了这篇新闻？大面教育用地挂牌出让 将建幼儿园和小学解决入学问题
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：房产

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?英雄联盟，为什么UZI吃三路资源就没事，我打个野怪都要被打野发问号质疑？
答案：电竞

下面两个句子语义是“相同”或“不同”？“蚂蚁借呗和网商贷是一样的吗”，“网商银行和借呗的区别在哪里”。选项：相同，不同。答案：相同