paperbot · PL 论文追踪

全部论文 待读 收藏

P2 The case for experiment-oriented computing

面向实验的计算:一个倡议
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 2/10 · 论文提出面向实验的计算范式,属于语言设计与软件工程方法,但未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心方向,仅与PL有非常宽泛的关联。引用 0 inbox
Paulo Salem
crossref: 2026-09-12

AI 速览

一句话:提出将实验活动视为一类独立计算,并抽象实验特征,形成与软件工程问题正交的面向实验计算(EOC)方法。

该文指出,系统观察、探索备选方案、提出假设与实证检验等实验性活动广泛交织在多种软件系统中。作者由此主张,实验活动本身可视为一类独立计算。通过抽象这些实验特征,文章提出面向实验的计算(EOC)这一通用方法,并将其与其它软件工程问题正交分离。这种关注点分离有助于围绕实验方面分别开展理论与应用研究。文章给出若干软件系统实例,并列出具体的研究与发展方向,以说明该方法的潜在价值。摘要未报告实证评估。

问题
实验性活动(如系统观察、探索备选、假设检验)在软件系统中分散且与其他关注点交织,缺乏作为独立计算类别的统一抽象。
方法
通过多个实例归纳实验特征,提出面向实验的计算(EOC)这一与软件工程其它问题正交的通用方法,并给出理论与应用研究方向。
评估
文章以软件系统实例进行概念论证,并列举具体研究与发展方向,未报告实证评估或工具实现。
原文摘要(Abstract)

Experimentation aspects (e.g., systematic observation, exploration of alternatives, formulation of hypotheses and empirical testing) can be found dispersed and intertwined in many software systems. Numerous examples are provided in this article. This suggests that experimental activity is a class of computation in its own right. By abstracting the relevant experimentation features, a general Experiment-Oriented Computing (EOC) approach, orthogonal to other Software Engineering issues, is formulated in this article. Through this separation of concerns, it is possible to clearly pursue both theoretical and applied research with respect to experimental aspects. Concrete directions for such research and development are also given to illustrate the value of the approach.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4637,
  title = {The case for experiment-oriented computing},
  author = {Paulo Salem},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3264831}
}