.png){kind=icon}
返回
Abstracting dependencies between software configuration items
.png){kind=icon}
OA
AI
DOI：10.1145/332740.332743.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This article studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets called production nets. A general theory of build optimizations and their correctness is developed based on a form of abstract interpretation called a build abstraction; these are created during a build and are used to optimize subsequent builds. Various examples of such optimizations are discussed. The theory is used to show how correctness properties can be characterized and proved, and how optimizations can be composed and compared.
Keyword:
languages
management
verification
abstract interpretation
mathematical models of build dependencies
Petri nets
software configuration management
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
A
IF:
6.2
论文数:
1.2K
被引数:
3.4K
机构
暂无机构信息
引用论文
Incidence, Management, and Outcomes of Chylothorax after Lung Transplantation: A Single-center Experience
.png)
Cureus
OAAI
CureusIF0
OAAI分享收藏Managing the Incubation Environment in Commercial Hatcheries to Meet the Requirements of the Embryo
PREAI
分享收藏
查看更多内容