会员服务
Analysis · TOOLS · 操作系统 · 操作 · 代码 ·
2022 年 9 月 23 日
Formal Semantics of the CDL Language
翻译：CDL语言正式语义
Thorsten Berger,Steven She
Thorsten Berger,Steven She
from arxiv, Technical Note, Department of Computer Science, University of Leipzig, Germany

We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable, embedded operating system eCos. This work provides the basis for an analysis and comparison of the two variability-modeling languages Kconfig and CDL. The semantics given in this document are based on analyzing the CDL documentation, inspecting the source code of the toolchain, as well as testing the tools on particular examples.


翻译：我们逆向设计了构成定义语言(CDL)的正式语义,这是高度可配置、嵌入操作系统eCos的一部分。这项工作为分析和比较两种变异模式语言提供了基础。 Kconfig 和 CDL。本文件给出的语义是基于分析CDL文件、检查工具链源代码以及测试特定实例的工具。
0
下载
关闭预览

相关内容

史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
122+阅读 · 2020年7月18日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
52+阅读 · 2020年1月30日
【CIKM2019 Tutorial】Recent Developments of Deep Heterogeneous Information Network Analysis（深度异构信息网络分析的最新进展），附157页PDF免费下载
【CIKM2019 Tutorial】Recent Developments of Deep Heterogeneous Information Network Analysis（深度异构信息网络分析的最新进展），附157页PDF免费下载
专知会员服务
27+阅读 · 2019年11月3日
社交网络上议题社群的公共焦虑研究， 中国人民大学新闻学院塔娜讲师，第八届全国社会媒体处理大会SMP2019
社交网络上议题社群的公共焦虑研究， 中国人民大学新闻学院塔娜讲师，第八届全国社会媒体处理大会SMP2019
专知会员服务
12+阅读 · 2019年10月23日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
167+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
2+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
【ICIG2021】Latest News & Announcements of the Industry Talk2
【ICIG2021】Latest News & Announcements of the Industry Talk2
中国图象图形学学会CSIG
0+阅读 · 2021年7月29日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
蓖麻矮化相关RcDof基因功能分析及调控机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
缺陷主导的GaN和AlN纳米线发光微观机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
新的小分子化合物WJ460通过靶向Myoferlin抑制乳腺癌转移和复发的分子机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
重离子冷却储存环中激光冷却的物理机制、影响因素及动力学研究
国家自然科学基金
0+阅读 · 2013年12月31日
CDC73基因异常在颌骨骨化纤维瘤发病中的作用
国家自然科学基金
0+阅读 · 2012年12月31日
分子云外延Hg1-yCdySe/InAs/Si(211)红外探测器材料
国家自然科学基金
0+阅读 · 2012年12月31日
微流控芯片—毛细管电泳—微液滴喷射雾化器等离子体质谱联机进行单细胞内金属形态分析的研究
国家自然科学基金
0+阅读 · 2012年12月31日
Si基子带跃迁中红外探测器研究
国家自然科学基金
0+阅读 · 2011年12月31日
BTLA与HBV特异性CD8+T淋巴细胞功能缺陷的关系研究
国家自然科学基金
0+阅读 · 2009年12月31日
一维铁电纳米线和纳米管的表面及尺寸效应研究
国家自然科学基金
0+阅读 · 2009年12月31日
Large Language Models and the Reverse Turing Test
Arxiv
0+阅读 · 2022年10月31日
A precise bare simulation approach to the minimization of some distances. Foundations
Arxiv
0+阅读 · 2022年10月29日
Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language Models
Arxiv
0+阅读 · 2022年10月28日
VLT: Vision-Language Transformer and Query Generation for Referring Segmentation
Arxiv
0+阅读 · 2022年10月28日
Formal Semantics for the Halide Language
Arxiv
0+阅读 · 2022年10月27日
A Decade of Knowledge Graphs in Natural Language Processing: A Survey
Arxiv
25+阅读 · 2022年9月30日
Learning Neural Models for Natural Language Processing in the Face of Distributional Shift
Arxiv
11+阅读 · 2021年9月3日
A Survey of the State of Explainable AI for Natural Language Processing
Arxiv
25+阅读 · 2020年10月1日
Beyond Accuracy: Behavioral Testing of NLP models with CheckList
Arxiv
11+阅读 · 2020年5月8日
A Survey of the Usages of Deep Learning in Natural Language Processing
A Survey of the Usages of Deep Learning in Natural Language Processing
Arxiv
118+阅读 · 2019年9月11日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Analysis
TOOLS
操作系统
操作
代码
相关VIP内容
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
122+阅读 · 2020年7月18日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
52+阅读 · 2020年1月30日
【CIKM2019 Tutorial】Recent Developments of Deep Heterogeneous Information Network Analysis（深度异构信息网络分析的最新进展），附157页PDF免费下载
【CIKM2019 Tutorial】Recent Developments of Deep Heterogeneous Information Network Analysis（深度异构信息网络分析的最新进展），附157页PDF免费下载
专知会员服务
27+阅读 · 2019年11月3日
社交网络上议题社群的公共焦虑研究， 中国人民大学新闻学院塔娜讲师，第八届全国社会媒体处理大会SMP2019
社交网络上议题社群的公共焦虑研究， 中国人民大学新闻学院塔娜讲师，第八届全国社会媒体处理大会SMP2019
专知会员服务
12+阅读 · 2019年10月23日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
167+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
2+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
【ICIG2021】Latest News & Announcements of the Industry Talk2
【ICIG2021】Latest News & Announcements of the Industry Talk2
中国图象图形学学会CSIG
0+阅读 · 2021年7月29日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
相关论文
Large Language Models and the Reverse Turing Test
Arxiv
0+阅读 · 2022年10月31日
A precise bare simulation approach to the minimization of some distances. Foundations
Arxiv
0+阅读 · 2022年10月29日
Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language Models
Arxiv
0+阅读 · 2022年10月28日
VLT: Vision-Language Transformer and Query Generation for Referring Segmentation
Arxiv
0+阅读 · 2022年10月28日
Formal Semantics for the Halide Language
Arxiv
0+阅读 · 2022年10月27日
A Decade of Knowledge Graphs in Natural Language Processing: A Survey
Arxiv
25+阅读 · 2022年9月30日
Learning Neural Models for Natural Language Processing in the Face of Distributional Shift
Arxiv
11+阅读 · 2021年9月3日
A Survey of the State of Explainable AI for Natural Language Processing
Arxiv
25+阅读 · 2020年10月1日
Beyond Accuracy: Behavioral Testing of NLP models with CheckList
Arxiv
11+阅读 · 2020年5月8日
A Survey of the Usages of Deep Learning in Natural Language Processing
A Survey of the Usages of Deep Learning in Natural Language Processing
Arxiv
118+阅读 · 2019年9月11日
相关基金
蓖麻矮化相关RcDof基因功能分析及调控机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
缺陷主导的GaN和AlN纳米线发光微观机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
新的小分子化合物WJ460通过靶向Myoferlin抑制乳腺癌转移和复发的分子机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
重离子冷却储存环中激光冷却的物理机制、影响因素及动力学研究
国家自然科学基金
0+阅读 · 2013年12月31日
CDC73基因异常在颌骨骨化纤维瘤发病中的作用
国家自然科学基金
0+阅读 · 2012年12月31日
分子云外延Hg1-yCdySe/InAs/Si(211)红外探测器材料
国家自然科学基金
0+阅读 · 2012年12月31日
微流控芯片—毛细管电泳—微液滴喷射雾化器等离子体质谱联机进行单细胞内金属形态分析的研究
国家自然科学基金
0+阅读 · 2012年12月31日
Si基子带跃迁中红外探测器研究
国家自然科学基金
0+阅读 · 2011年12月31日
BTLA与HBV特异性CD8+T淋巴细胞功能缺陷的关系研究
国家自然科学基金
0+阅读 · 2009年12月31日
一维铁电纳米线和纳米管的表面及尺寸效应研究
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top