会员服务
Performer · 查准率/准确率 · SimPLe · 情景 · 论文 ·
2023 年 5 月 27 日
External Behavior of a Logic Program and Verification of Refactoring
翻译：暂无翻译
Jorge Fandinno,Zachary Hansen,Yuliya Lierler,Vladimir Lifschitz,Nathan Temple
Jorge Fandinno,Zachary Hansen,Yuliya Lierler,Vladimir Lifschitz,Nathan Temple
from arxiv, Accepted to Theory and Practice of Logic Programming (ICLP 2023)

Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assistant for the task of verifying that refactoring a program in that language is performed correctly.


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

相关内容

高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
专知会员服务
134+阅读 · 2022年2月6日
【NUS-Xavier教授】注意力神经网络，79页ppt
【NUS-Xavier教授】注意力神经网络，79页ppt
专知会员服务
62+阅读 · 2021年11月25日
零样本文本分类，Zero-Shot Learning for Text Classification
零样本文本分类，Zero-Shot Learning for Text Classification
专知会员服务
95+阅读 · 2020年5月31日
【经典书】数据挖掘：理论、算法与示例，347页pdf，Nong Ye，Arizona State University
【经典书】数据挖掘：理论、算法与示例，347页pdf，Nong Ye，Arizona State University
专知会员服务
81+阅读 · 2020年2月27日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
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
专知会员服务
56+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
GNN 新基准！Long Range Graph Benchmark
GNN 新基准！Long Range Graph Benchmark
图与推荐
0+阅读 · 2022年10月18日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
ICLR2019最佳论文出炉
ICLR2019最佳论文出炉
专知
12+阅读 · 2019年5月6日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
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日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
机载前视气象雷达增强型目标检测关键技术研究
国家自然科学基金
0+阅读 · 2014年12月31日
高纬度珊瑚礁的发育过程以及气候变化的调控作用--以涠洲岛为例
国家自然科学基金
0+阅读 · 2014年12月31日
蓖麻矮化相关RcDof基因功能分析及调控机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
波长调制离轴积分腔输出光谱技术探测大气碳同位素丰度研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于压缩感知技术的圆柱度误差全息测量方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
珠三角地区短期天气过程中大气气溶胶对云和降水的影响
国家自然科学基金
0+阅读 · 2012年12月31日
基于时频二维训练信息的高谱效多天线TFT-OFDM技术研究
国家自然科学基金
1+阅读 · 2012年12月31日
miR-140在肿瘤转移中的作用及机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
约化群酉表示的branching law及其应用
国家自然科学基金
0+阅读 · 2009年12月31日
Leveraging Reinforcement Learning for Task Resource Allocation in Scientific Workflows
Arxiv
0+阅读 · 2023年7月18日
Modeling Orders of User Behaviors via Differentiable Sorting: A Multi-task Framework to Predicting User Post-click Conversion
Arxiv
0+阅读 · 2023年7月18日
Attention over pre-trained Sentence Embeddings for Long Document Classification
Arxiv
0+阅读 · 2023年7月18日
Underspecification in Language Modeling Tasks: A Causality-Informed Study of Gendered Pronoun Resolution
Underspecification in Language Modeling Tasks: A Causality-Informed Study of Gendered Pronoun Resolution
Arxiv
0+阅读 · 2023年7月17日
Understanding the impacts of crop diversification in the context of climate change: a machine learning approach
Understanding the impacts of crop diversification in the context of climate change: a machine learning approach
Arxiv
0+阅读 · 2023年7月17日
Parameter estimation for contact tracing in graph-based models
Arxiv
0+阅读 · 2023年7月17日
A Look into Causal Effects under Entangled Treatment in Graphs: Investigating the Impact of Contact on MRSA Infection
Arxiv
0+阅读 · 2023年7月17日
Leveraging Large Language Models to Generate Answer Set Programs
Arxiv
0+阅读 · 2023年7月15日
Short Boolean Formulas as Explanations in Practice
Arxiv
0+阅读 · 2023年7月13日
Differentiable Reasoning on Large Knowledge Bases and Natural Language
Arxiv
12+阅读 · 2019年12月17日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Performer
查准率/准确率
SimPLe
情景
论文
相关VIP内容
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
专知会员服务
134+阅读 · 2022年2月6日
【NUS-Xavier教授】注意力神经网络，79页ppt
【NUS-Xavier教授】注意力神经网络，79页ppt
专知会员服务
62+阅读 · 2021年11月25日
零样本文本分类，Zero-Shot Learning for Text Classification
零样本文本分类，Zero-Shot Learning for Text Classification
专知会员服务
95+阅读 · 2020年5月31日
【经典书】数据挖掘：理论、算法与示例，347页pdf，Nong Ye，Arizona State University
【经典书】数据挖掘：理论、算法与示例，347页pdf，Nong Ye，Arizona State University
专知会员服务
81+阅读 · 2020年2月27日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
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
专知会员服务
56+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
热门VIP内容
相关资讯
GNN 新基准！Long Range Graph Benchmark
GNN 新基准！Long Range Graph Benchmark
图与推荐
0+阅读 · 2022年10月18日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
ICLR2019最佳论文出炉
ICLR2019最佳论文出炉
专知
12+阅读 · 2019年5月6日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
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日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
相关论文
Leveraging Reinforcement Learning for Task Resource Allocation in Scientific Workflows
Arxiv
0+阅读 · 2023年7月18日
Modeling Orders of User Behaviors via Differentiable Sorting: A Multi-task Framework to Predicting User Post-click Conversion
Arxiv
0+阅读 · 2023年7月18日
Attention over pre-trained Sentence Embeddings for Long Document Classification
Arxiv
0+阅读 · 2023年7月18日
Underspecification in Language Modeling Tasks: A Causality-Informed Study of Gendered Pronoun Resolution
Underspecification in Language Modeling Tasks: A Causality-Informed Study of Gendered Pronoun Resolution
Arxiv
0+阅读 · 2023年7月17日
Understanding the impacts of crop diversification in the context of climate change: a machine learning approach
Understanding the impacts of crop diversification in the context of climate change: a machine learning approach
Arxiv
0+阅读 · 2023年7月17日
Parameter estimation for contact tracing in graph-based models
Arxiv
0+阅读 · 2023年7月17日
A Look into Causal Effects under Entangled Treatment in Graphs: Investigating the Impact of Contact on MRSA Infection
Arxiv
0+阅读 · 2023年7月17日
Leveraging Large Language Models to Generate Answer Set Programs
Arxiv
0+阅读 · 2023年7月15日
Short Boolean Formulas as Explanations in Practice
Arxiv
0+阅读 · 2023年7月13日
Differentiable Reasoning on Large Knowledge Bases and Natural Language
Arxiv
12+阅读 · 2019年12月17日
相关基金
机载前视气象雷达增强型目标检测关键技术研究
国家自然科学基金
0+阅读 · 2014年12月31日
高纬度珊瑚礁的发育过程以及气候变化的调控作用--以涠洲岛为例
国家自然科学基金
0+阅读 · 2014年12月31日
蓖麻矮化相关RcDof基因功能分析及调控机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
波长调制离轴积分腔输出光谱技术探测大气碳同位素丰度研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于压缩感知技术的圆柱度误差全息测量方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
珠三角地区短期天气过程中大气气溶胶对云和降水的影响
国家自然科学基金
0+阅读 · 2012年12月31日
基于时频二维训练信息的高谱效多天线TFT-OFDM技术研究
国家自然科学基金
1+阅读 · 2012年12月31日
miR-140在肿瘤转移中的作用及机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
约化群酉表示的branching law及其应用
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top