会员服务
操作 · 编程语言 ·
4 月 3 日
act: Technical report
翻译：暂无翻译
Zoe Paraskevopoulou,Anja Petković Komel,Sophie Rain,Lefteris Lazaropoulos,Alexis Terry
Zoe Paraskevopoulou,Anja Petković Komel,Sophie Rain,Lefteris Lazaropoulos,Alexis Terry

This technical report contains the formal definitions and metatheory for the act specification and verification language. It documents the syntax, the operational pointer semantics, the type system and the main metatheoretic results (type-safety).


翻译：暂无翻译
0
下载
关闭预览

相关内容

《​2025年十大新兴技术展望​​》最新49页报告
《​2025年十大新兴技术展望​​》最新49页报告
专知会员服务
33+阅读 · 2025年7月2日
《信息技术计算机视觉术语》国家标准发布，48页pdf
《信息技术计算机视觉术语》国家标准发布，48页pdf
专知会员服务
33+阅读 · 2023年1月2日
干货满满，中科院信工所于静新课帮你get学术研究与论文写作技能，附slides与视频
干货满满，中科院信工所于静新课帮你get学术研究与论文写作技能，附slides与视频
专知会员服务
52+阅读 · 2022年8月24日
【AI+军事】《用于兵棋推演和建模的人工智能技术》2022最新论文
【AI+军事】《用于兵棋推演和建模的人工智能技术》2022最新论文
专知会员服务
173+阅读 · 2022年3月14日
【视频描述综述论文】Video Description: A Survey of Methods, Datasets, and Evaluation Metrics
【视频描述综述论文】Video Description: A Survey of Methods, Datasets, and Evaluation Metrics
专知会员服务
65+阅读 · 2020年5月12日
【2020关键词提取】医学报告的关键词提取和结构化，Keyword extraction and structuralization of medical reports
【2020关键词提取】医学报告的关键词提取和结构化，Keyword extraction and structuralization of medical reports
专知会员服务
33+阅读 · 2020年5月2日
你的毕业论文过了吗？宗老师这份《如何撰写毕业论文？ 》27页ppt帮你把把关，中科院自动化所模式国重宗成庆研究员
你的毕业论文过了吗？宗老师这份《如何撰写毕业论文？ 》27页ppt帮你把把关，中科院自动化所模式国重宗成庆研究员
专知会员服务
149+阅读 · 2020年4月3日
数据标注研究综述，软件学报，19页pdf
数据标注研究综述，软件学报，19页pdf
专知会员服务
96+阅读 · 2020年2月20日
【医学图像分割| 2019新综述】生物医学图像分割的机器学习技术：技术方面综述和最新应用介绍（Machine Learning Techniques for Biomedical Image Segmentation: An Overview of Technical Aspects and Introduction to State-of-Art Applications），附35页PDF
【医学图像分割| 2019新综述】生物医学图像分割的机器学习技术：技术方面综述和最新应用介绍（Machine Learning Techniques for Biomedical Image Segmentation: An Overview of Technical Aspects and Introduction to State-of-Art Applications），附35页PDF
专知会员服务
57+阅读 · 2019年11月23日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
19+阅读 · 2019年10月22日
ICLR 2019计算机视觉、NLP、图模型、对抗学习、表示学习和元学习最新技术分享
ICLR 2019计算机视觉、NLP、图模型、对抗学习、表示学习和元学习最新技术分享
深度学习与NLP
17+阅读 · 2019年6月16日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
AI研习社
32+阅读 · 2019年4月5日
深度学习中Attention Mechanism详细介绍：原理、分类及应用
深度学习中Attention Mechanism详细介绍：原理、分类及应用
深度学习与NLP
10+阅读 · 2019年2月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
技术动态 | TechKG：一个面向中文学术领域的大型知识图谱
技术动态 | TechKG：一个面向中文学术领域的大型知识图谱
开放知识图谱
25+阅读 · 2018年12月20日
【学科发展报告】计算机视觉
【学科发展报告】计算机视觉
中国自动化学会
43+阅读 · 2018年10月12日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
【论文推荐】最新八篇视频描述生成相关论文—在线视频理解、联合定位和描述事件、生成视频、跨模态注意力机制、联合事件检测和描述
【论文推荐】最新八篇视频描述生成相关论文—在线视频理解、联合定位和描述事件、生成视频、跨模态注意力机制、联合事件检测和描述
专知
11+阅读 · 2018年6月4日
【论文推荐】最新5篇信息抽取（IE）相关论文—开放信息抽取、不完整信息、主动学习、越南语、依存分析
【论文推荐】最新5篇信息抽取（IE）相关论文—开放信息抽取、不完整信息、主动学习、越南语、依存分析
专知
12+阅读 · 2018年2月2日
非常规突发事件应急管理研究创新性成果报告
国家自然科学基金
11+阅读 · 2016年12月31日
高精度片上抖动测量关键技术及电路实现研究
国家自然科学基金
0+阅读 · 2015年12月31日
系统科学与复杂性学报（英文版）
国家自然科学基金
12+阅读 · 2015年12月31日
数字音频被动取证关键技术研究
国家自然科学基金
1+阅读 · 2015年12月31日
工业过程动态数据的多模型在线重构研究
国家自然科学基金
1+阅读 · 2015年12月31日
融合目标感知与对比度的图像和视频显著性检测技术研究
国家自然科学基金
4+阅读 · 2015年12月31日
面向复杂情报的大数据分析方法与决策支持
国家自然科学基金
42+阅读 · 2014年12月31日
建立纳米制造技术信息平台的研究
国家自然科学基金
0+阅读 · 2014年12月31日
基于构件的可信软件构造及其行为动态可信测评
国家自然科学基金
1+阅读 · 2014年12月31日
物联网关键技术RFID系统安全测试的仿真架构.评估模型和受攻击模式的研究和实践
国家自然科学基金
2+阅读 · 2014年12月31日
Kwai Summary Attention Technical Report
Arxiv
0+阅读 · 4月27日
Report for NSF Workshop on AI for Electronic Design Automation
Arxiv
0+阅读 · 4月24日
Tuning for TraceTarnish: Techniques, Trends, and Testing Tangible Traits
Arxiv
0+阅读 · 4月22日
Designing Incident Reporting Systems for Harms from General-Purpose AI
Arxiv
0+阅读 · 4月14日
T2T: Captioning Smartphone Activities Using Mobile Traffic
Arxiv
0+阅读 · 4月7日
Discriminative reconstruction via simultaneous dense and sparse coding
Arxiv
0+阅读 · 3月26日
Composer 2 Technical Report
Arxiv
0+阅读 · 3月26日
Dominated Actions in Imperfect-Information Games
Arxiv
0+阅读 · 3月25日
Working towards a dialectical understanding of the political ideology within technological projects
Arxiv
0+阅读 · 3月23日
MOSS-TTS Technical Report
Arxiv
0+阅读 · 3月20日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
操作
编程语言
最新内容
DeepSeek 版Claude Code，免费小白安装教程来了！
DeepSeek 版Claude Code，免费小白安装教程来了！
专知会员服务
7+阅读 · 5月5日
【ICML Spotlight 2026】 T²PO: 不确定性引导的探索控制框架，实现稳定多轮Agentic强化学习
【ICML Spotlight 2026】 T²PO: 不确定性引导的探索控制框架，实现稳定多轮Agentic强化学习
专知会员服务
4+阅读 · 5月5日
基础模型驱动的工业智能体：技术成熟度、能力变迁与未竟之挑战
基础模型驱动的工业智能体：技术成熟度、能力变迁与未竟之挑战
专知会员服务
4+阅读 · 5月5日
《机动炮兵的演进与未来：技术进步、历史沿革与炮兵作战前瞻》
《机动炮兵的演进与未来：技术进步、历史沿革与炮兵作战前瞻》
专知会员服务
5+阅读 · 5月5日
《火炮弹药快速效能建模：提升互操作性与技术优势》（报告）
《火炮弹药快速效能建模：提升互操作性与技术优势》（报告）
专知会员服务
7+阅读 · 5月5日
《美空军条令出版物 2-0：情报（2026版）》
《美空军条令出版物 2-0：情报（2026版）》
专知会员服务
13+阅读 · 5月5日
美陆军“飞蝇陷阱5.0”项目将新兴技术交到作战人员手中
美陆军“飞蝇陷阱5.0”项目将新兴技术交到作战人员手中
专知会员服务
5+阅读 · 5月5日
帕兰提尔 Gotham：一个游戏规则改变器
帕兰提尔 Gotham：一个游戏规则改变器
专知会员服务
7+阅读 · 5月5日
【ICML 2026】用测试时训练线性化视觉Transformer：T⁵ 实现 Softmax 注意力到线性复杂度的快速转换
【ICML 2026】用测试时训练线性化视觉Transformer：T⁵ 实现 Softmax 注意力到线性复杂度的快速转换
专知会员服务
3+阅读 · 5月5日
【AAAI 2026】大模型做知识蒸馏：CMM将LLM特征拆解给小模型协同学习
【AAAI 2026】大模型做知识蒸馏：CMM将LLM特征拆解给小模型协同学习
专知会员服务
3+阅读 · 5月5日
【ICML Spotlight 2026 】NonZero：交互引导探索的多智能体蒙特卡洛树搜索
【ICML Spotlight 2026 】NonZero：交互引导探索的多智能体蒙特卡洛树搜索
专知会员服务
8+阅读 · 5月4日
【综述】 机器人学习中的世界模型：全面综述
【综述】 机器人学习中的世界模型：全面综述
专知会员服务
11+阅读 · 5月4日
伊朗的导弹-无人机行动及其对美国威慑的影响
伊朗的导弹-无人机行动及其对美国威慑的影响
专知会员服务
9+阅读 · 5月4日
《未来战术无人机系统案例研究：量身定制采办策略方法》100页报告
《未来战术无人机系统案例研究：量身定制采办策略方法》100页报告
专知会员服务
9+阅读 · 5月4日
战争贩子：2026年第一季度美国对中东潜在军售激增
战争贩子：2026年第一季度美国对中东潜在军售激增
专知会员服务
7+阅读 · 5月4日
相关VIP内容
《​2025年十大新兴技术展望​​》最新49页报告
《​2025年十大新兴技术展望​​》最新49页报告
专知会员服务
33+阅读 · 2025年7月2日
《信息技术计算机视觉术语》国家标准发布，48页pdf
《信息技术计算机视觉术语》国家标准发布，48页pdf
专知会员服务
33+阅读 · 2023年1月2日
干货满满，中科院信工所于静新课帮你get学术研究与论文写作技能，附slides与视频
干货满满，中科院信工所于静新课帮你get学术研究与论文写作技能，附slides与视频
专知会员服务
52+阅读 · 2022年8月24日
【AI+军事】《用于兵棋推演和建模的人工智能技术》2022最新论文
【AI+军事】《用于兵棋推演和建模的人工智能技术》2022最新论文
专知会员服务
173+阅读 · 2022年3月14日
【视频描述综述论文】Video Description: A Survey of Methods, Datasets, and Evaluation Metrics
【视频描述综述论文】Video Description: A Survey of Methods, Datasets, and Evaluation Metrics
专知会员服务
65+阅读 · 2020年5月12日
【2020关键词提取】医学报告的关键词提取和结构化，Keyword extraction and structuralization of medical reports
【2020关键词提取】医学报告的关键词提取和结构化，Keyword extraction and structuralization of medical reports
专知会员服务
33+阅读 · 2020年5月2日
你的毕业论文过了吗？宗老师这份《如何撰写毕业论文？ 》27页ppt帮你把把关，中科院自动化所模式国重宗成庆研究员
你的毕业论文过了吗？宗老师这份《如何撰写毕业论文？ 》27页ppt帮你把把关，中科院自动化所模式国重宗成庆研究员
专知会员服务
149+阅读 · 2020年4月3日
数据标注研究综述，软件学报，19页pdf
数据标注研究综述，软件学报，19页pdf
专知会员服务
96+阅读 · 2020年2月20日
【医学图像分割| 2019新综述】生物医学图像分割的机器学习技术：技术方面综述和最新应用介绍（Machine Learning Techniques for Biomedical Image Segmentation: An Overview of Technical Aspects and Introduction to State-of-Art Applications），附35页PDF
【医学图像分割| 2019新综述】生物医学图像分割的机器学习技术：技术方面综述和最新应用介绍（Machine Learning Techniques for Biomedical Image Segmentation: An Overview of Technical Aspects and Introduction to State-of-Art Applications），附35页PDF
专知会员服务
57+阅读 · 2019年11月23日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
19+阅读 · 2019年10月22日
热门VIP内容
相关资讯
ICLR 2019计算机视觉、NLP、图模型、对抗学习、表示学习和元学习最新技术分享
ICLR 2019计算机视觉、NLP、图模型、对抗学习、表示学习和元学习最新技术分享
深度学习与NLP
17+阅读 · 2019年6月16日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
AI研习社
32+阅读 · 2019年4月5日
深度学习中Attention Mechanism详细介绍：原理、分类及应用
深度学习中Attention Mechanism详细介绍：原理、分类及应用
深度学习与NLP
10+阅读 · 2019年2月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
技术动态 | TechKG：一个面向中文学术领域的大型知识图谱
技术动态 | TechKG：一个面向中文学术领域的大型知识图谱
开放知识图谱
25+阅读 · 2018年12月20日
【学科发展报告】计算机视觉
【学科发展报告】计算机视觉
中国自动化学会
43+阅读 · 2018年10月12日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
【论文推荐】最新八篇视频描述生成相关论文—在线视频理解、联合定位和描述事件、生成视频、跨模态注意力机制、联合事件检测和描述
【论文推荐】最新八篇视频描述生成相关论文—在线视频理解、联合定位和描述事件、生成视频、跨模态注意力机制、联合事件检测和描述
专知
11+阅读 · 2018年6月4日
【论文推荐】最新5篇信息抽取（IE）相关论文—开放信息抽取、不完整信息、主动学习、越南语、依存分析
【论文推荐】最新5篇信息抽取（IE）相关论文—开放信息抽取、不完整信息、主动学习、越南语、依存分析
专知
12+阅读 · 2018年2月2日
相关论文
Kwai Summary Attention Technical Report
Arxiv
0+阅读 · 4月27日
Report for NSF Workshop on AI for Electronic Design Automation
Arxiv
0+阅读 · 4月24日
Tuning for TraceTarnish: Techniques, Trends, and Testing Tangible Traits
Arxiv
0+阅读 · 4月22日
Designing Incident Reporting Systems for Harms from General-Purpose AI
Arxiv
0+阅读 · 4月14日
T2T: Captioning Smartphone Activities Using Mobile Traffic
Arxiv
0+阅读 · 4月7日
Discriminative reconstruction via simultaneous dense and sparse coding
Arxiv
0+阅读 · 3月26日
Composer 2 Technical Report
Arxiv
0+阅读 · 3月26日
Dominated Actions in Imperfect-Information Games
Arxiv
0+阅读 · 3月25日
Working towards a dialectical understanding of the political ideology within technological projects
Arxiv
0+阅读 · 3月23日
MOSS-TTS Technical Report
Arxiv
0+阅读 · 3月20日
相关基金
非常规突发事件应急管理研究创新性成果报告
国家自然科学基金
11+阅读 · 2016年12月31日
高精度片上抖动测量关键技术及电路实现研究
国家自然科学基金
0+阅读 · 2015年12月31日
系统科学与复杂性学报（英文版）
国家自然科学基金
12+阅读 · 2015年12月31日
数字音频被动取证关键技术研究
国家自然科学基金
1+阅读 · 2015年12月31日
工业过程动态数据的多模型在线重构研究
国家自然科学基金
1+阅读 · 2015年12月31日
融合目标感知与对比度的图像和视频显著性检测技术研究
国家自然科学基金
4+阅读 · 2015年12月31日
面向复杂情报的大数据分析方法与决策支持
国家自然科学基金
42+阅读 · 2014年12月31日
建立纳米制造技术信息平台的研究
国家自然科学基金
0+阅读 · 2014年12月31日
基于构件的可信软件构造及其行为动态可信测评
国家自然科学基金
1+阅读 · 2014年12月31日
物联网关键技术RFID系统安全测试的仿真架构.评估模型和受攻击模式的研究和实践
国家自然科学基金
2+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top