首页/论文/cs/0601035

arXiv cs/06010352006-01-10cs.SE

演绎对象编程

Deductive Object Programming

Francois Colonna

备注：: 20 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们建议对O-O语言进行一些轻微的补充，以实现使用演绎对象编程（DOP）的必要功能。这种基于对感兴趣对象的生产树的操作的编程方式，导致持久化这些对象并明显降低代码复杂性。

英文摘要：

We propose some slight additions to O-O languages to implement the necessary features for using Deductive Object Programming (DOP). This way of programming based upon the manipulation of the Production Tree of the Objects of Interest, result in making Persistent these Objects and in sensibly lowering the code complexity.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

梯形程序设计的自动演绎验证

Automated Deductive Verification for Ladder Programming

梯形图逻辑是IEC 61131-3标准化的程序设计语言，广泛用于对工业可编程逻辑控制器（PLC）进行编程。PLC程序由输入（其值在运行时由工厂传感器给出），输出（其值在运行时提供给工厂执行器）和从输入值计算输出值的逻辑表达式组成。由于梯形图程序的图形形式，以及典型工业程序中的输入和输出量，调试此类程序既耗时又容易出错。在本文中，我们提出了一个基于Why 3的工具原型，我们已经实现了自动化的演绎验证的使用，以提供一个易于使用和强大的调试工具的阶梯程序员。

2019-12-23cs.LOcs.PLcs.SE

教学设计合同使用Snap！

Teaching Design by Contract using Snap!

随着演绎程序验证研究的进展，新的工具和技术已成为可用于支持契约式设计推理的非平凡程序编写的广泛使用的程序设计语言。然而，演绎程序验证仍然是专家的活动，在编程，规范和验证方面有丰富的经验。我们想改变这种情况，通过开发程序验证技术，可用于更大的观众。在本文中，我们介绍了我们如何开发原型程序验证支持Snap！啪！是一种可视化的程序设计语言，特别针对高中生。我们以类似的视觉风格添加了规约语言构造，旨在使预期的语义从规范构造的外观和感觉中变得清晰。我们提供Snap的静态和动态验证支持！程序.特别注意错误消息，使其尽可能直观。

2021-07-12cs.PLcs.SE

法律合同的正式验证：一种基于翻译的方法（扩展版）

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)

TU Darmstadt（达姆施塔特工业大学）；University of Bologna（博洛尼亚大学）

本文提出通过将 Stipula 法律合同翻译为带 JML 规范的 Java 代码，并利用 KeY 工具自动验证其部分和完全正确性，证明了通用演绎验证工具在翻译方法中的有效性。

2025-09-26cs.SE

从陈述模型到解决方案：调度情景综合

From Declarative Model to Solution: Scheduling Scenario Synthesis

本文提出了演绎编程的调度方案生成。解决方案的建模是通过程序转换实现的。首先介绍了调度问题域的声明模型。然后将该模型解释为调度域语言和谓词转移Petri网。生成的可达树表示具有解的搜索空间。最后对结果进行了讨论和分析。

2013-04-12cs.SE

稀疏集的EventB、$\boldsymbol{\textbraceleft}log\textbraceright与Why3模型比较

Comparing EventB, $\{log\}$ and Why3 Models of Sparse Sets

本研究针对编程语言中集合表示需求，聚焦约束求解器用的稀疏集，在EventB、{log}和Why3三种演绎形式化验证工具中实现了经验证的稀疏集，并对三者的规范与证明展开对比。

2023-07-20cs.SE

来自代码的教育洞见：通过基于代码的证据描绘面向对象编程中的学习挑战

Educational Insights from Code: Mapping Learning Challenges in Object-Oriented Programming through Code-Based Evidence

本研究通过定性分析与文献综述，将 code smells、SOLID 原则违背与 OOP 学习困难相联系，构建概念图并由专家验证其教学适用性。

2025-07-23cs.SE

更多相关论文收起更多论文

面向对象程序设计中圈复杂度概念的改进方法

An approach for improving the concept of Cyclomatic Complexity for Object-Oriented Programming

软件复杂性度量对于满足复杂软件的需求具有重要作用。圈复杂度是目前已提出和研究的三个度量指标之一，它们分别是：代码行、Halstead测度和圈复杂度。虽然圈复杂性是非常流行的，但也服务于一些问题，这些问题已被确定并在本研究工作中以表格形式显示。它缺乏面向对象程序设计中对象类间耦合的计算，只根据条件语句计算复杂度。因此，需要改进基于耦合的圈复杂度概念。论文包括所提出的算法来处理上述问题。

2014-12-19cs.SE

在PROGRESS操作上。如何使面向对象程序设计系统更面向对象（DRAFT）

On PROGRESS Operation. How to Make Object-Oriented Programming System More Object-Oriented (DRAFT)

实现持久对象的系统必须提供不同的机会，以便在对象存在期间以任意方式更改对象。在现代编程系统中，OO范式的传统实现具有基本的缺点，这使得持久可修改对象的实现变得相当复杂。存在不具有这些缺点的替代实现。在本文中，提供了PROGRESS操作，该操作修改现有继承层次结构中的现有对象。

2013-04-09cs.PLcs.SE

程序设计范式的面向对象建模

Object-Oriented Modeling of Programming Paradigms

对于正确的应用程序，使用编程范式（如函数或逻辑编程）可以极大地提高软件开发的生产力。但是这些强大的范例都与外来的程序设计语言联系在一起，而软件开发的管理要求对单一语言进行标准化。这种困境可以通过以一种新的方式使用面向对象编程来解决。传统的分析方法是采用面向对象的建模方法。在新的方法中，分析确定了应用程序的理想范例;开发从范例的面向对象建模开始。在本文中，我们说明了新的方法，给出面向对象的建模和约束编程的例子。这些例子表明，不再需要在专用于它的语言中体现编程范式。

2006-11-09cs.PLcs.SE

协议编程：数字世界的连接

Protocol Programming: A Connection of the Digital World

当前的计算机程序设计将属性和行为封装到对象中，但缺少支持对象之间连接的机制。提出了一种连接所有对象的编程范式。连接支持通信。协议被定义为协调对象之间的行为，从而使对象能够跨不同平台进行交互。连接还提供了一种有效的机制来支持并发、并行、分布、流水线和适应性等，它们可以透明地、自治地甚至自适应地进行管理。本文还讨论了协议编程的一个实现，以说明协议编程的有效性。

2016-03-22cs.PLcs.SE

面向概念的程序设计：再访引用、类和继承

Concept-Oriented Programming: References, Classes and Inheritance Revisited

面向概念编程（COP）的主要目标是描述对象是如何表示和访问的。它使引用（对象位置）成为程序的第一类元素，负责许多难以通过对象建模的重要功能。COP通过引入一个新的构造、概念和一个新的关系、包含，重新思考并概括了类和继承等面向对象的主要概念。一个优点是，仅使用几个基本概念，我们就能够描述目前属于不同编程范式的许多一般思维模式：建模对象层次结构（基于原型的编程），父方法优先于子方法（Beta中的内部方法），模块化横切关注点（面向方面的编程），价值取向（函数式编程）。由于COP仍然向后兼容面向对象编程，它可以被看作是一个前景的发展方向，一个简单而自然的统一编程模型。

2014-09-13cs.PLcs.SE

将对象映射到持久谓词

Mapping Objects to Persistent Predicates

Prolog逻辑程序设计在许多需要存储知识的系统中被广泛用于提供持久性。用于供应持久性的Prolog编程语言的一些实现具有与其他程序设计语言的双向接口，总体上具有面向对象的编程语言。目前，缺少用于系统开发的工具和框架，这些工具和框架以简单和敏捷的形式使用逻辑谓词持久性。更具体地说，目前需要一个面向对象和逻辑持久性提供程序，允许在主存中操作对象，并且该对象的持久性具有逻辑编程谓词方面。目前的工作介绍了一个面向对象和逻辑持久性提供者的支持对象的序言声明性映射的替代。所提出的替代方案包括逻辑编程谓词与面向对象方法的对应关系，其中对于逻辑编程的每个元素，一个面向对象的元素使其相互作用。逻辑程序设计谓词的面向对象表示提供了对组成知识的元素进行操作的便利。

2017-05-01cs.LOcs.PLcs.SE

OOASP：连接面向对象和逻辑编程

OOASP: Connecting Object-oriented and Logic Programming

Siemens AG Österreich（奥地利西门子股份公司）；Alpen-Adria-Universität Klagenfurt（克拉根福阿尔卑斯-亚德里亚大学）

大多数现代软件系统都是使用面向对象的方法实现的。建模阶段--软件工程师使用某种建模语言分析未来系统的需求--是开发过程的重要组成部分，因为建模错误通常很难识别和纠正。在本文中，我们提出了一个框架，它允许集成的答案集编程到面向对象的软件开发过程。OOASP支持面向对象软件模型及其实例化的推理。在CSL Studio，这是西门子内部建模环境的产品配置器，OOASP应用程序的初步结果表明，它可以作为一个轻量级的方法来验证，创建和转换实例的对象模型在运行时，并支持软件开发过程中的设计和测试。

2015-08-12cs.AIcs.SE

自组合编程

Self-composable Programming

许多可变性管理技术依赖于复杂的语言扩展或工具来支持它，虽然这可以提供专用的语法和操作机制，但它难以实际适应，因为将新技术作为开发过程的一部分的成本。我们提出了自组合编程，一种语言驱动的，基于组合的可变性实现，它需要一个面向对象的方法来建模和组成软件中的行为。自组合编程通过提供抽象函数和特定函数的概念引入了行为的层次关系，抽象函数将共性模块化，特定函数继承自抽象函数，并应用精化来包含可变性以实现期望的功能。各种面向对象的技术可以应用在精化过程中，包括显式的基于方法的精化和隐式的基于特征的精化。为了评估潜在的独立性的行为从对象应用面向对象的功能，我们比较它的面向对象的编程概念和经验。

2021-09-14cs.PLcs.SE

面向对象设计模式与程序设计语言的相互作用

On the Interaction of Object-Oriented Design Patterns and Programming Languages

设计模式是从许多真实的系统中提炼出来的，用于对常见的编程实践进行分类。然而，由于缺乏支持程序设计语言的构造或机制，一些面向对象的设计模式被扭曲或过于复杂。在本文中，我们分析了几个已发布的设计模式，以寻找解决实现语言约束的惯用方法。从这个分析，我们奠定了基础的通用语言的结构和机制，如果提供了一个静态类型的，面向对象的语言，将更好地支持设计模式的实现，并传递，有利于建设许多真正的系统。特别是，我们的语言结构目录包括与继承分离的子类型，独立于类的词法作用域闭包对象，以及多方法分派。所提出的构造和机制并不是全新的，而是从各种语言和程序设计语言研究中采用的，并以新的正交方式组合。我们认为，通过描述设计模式的建议的结构和机制，模式描述变得更简单，因此，访问到更多的语言社区。特定语言中缺少的结构和机制可以使用聚合习惯用法来实现。

2019-05-31cs.PLcs.SE

注释Java程序的面向对象编程法则

Object-oriented Programming Laws for Annotated Java Programs

面向对象的编程法则已经在不与行为接口规约语言（BISL）相结合的语言的上下文中提出。源代码和接口规范之间的强依赖性可能会在转换程序时造成许多困难。在本文中，我们介绍了一套面向对象的语言，如Java结合Java建模语言（JML）的编程法则。这套法律处理面向对象的功能，同时考虑到他们的规格。有些法律只涉及规约语言的特征。这些定律构成了一组小的转换，用于开发更精细的转换，如重构。

2010-03-25cs.LOcs.PLcs.SE

在GIPSY中实现JLucid、ObjectiveLucid和通用命令式编译器框架的混合内涵编程

Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY

纯Lucid程序是并发的，粒度非常细。顺序线程（ST）是为了扩大粒度而引入的函数;它们通过通用内涵编程系统（GIPSY）中的通信过程（CP）从服务器传递到工作器。JLucid程序将用于ST的Java代码与用于并行控制的Lucid代码相结合。因此，首先，在这篇论文中，我们描述了新的JLucid编译器生成ST和CP的方式。JLucid还引入了数组支持。进一步的探索经历了Lucid语言家族所经历的额外的转换，以支持在通用内涵程序设计语言（GIPL）和索引Lucid中使用Java对象及其成员：首先，以JLucid的形式允许使用伪对象，然后通过专门设计的Objective Lucid语言。通过讨论和实例，给出了ObjectiveLucid的语法和语义定义以及Java对象在内涵程序中的含义。最后，有许多有用的科学和实用程序是用Java以外的命令式程序设计语言编写的，例如C、C++、Fortran、Perl等。因此，提供一个框架来促进将这些语言包含到GIPSY中并由Lucid程序使用是明智的。为解决这一问题，提出了一个总的强制性框架及其具体实施。

2009-12-21cs.PLcs.SE

网络对象的无干扰规划模型

An Interference-Free Programming Model for Network Objects

网络对象是分布式面向对象编程的简单而自然的抽象。然而，支持网络对象的语言通常将同步问题以及相关的陷阱（如数据竞争和失败的可能性）留给用户。在本文中，我们提出了D-SCOOP，一个分布式编程模型，允许无干扰和事务式推理（潜在的多个）网络对象，同步处理自动和网络故障管理的补偿机制。我们实现这一点，利用多线程的面向对象的并发模型的运行时语义，直接推广它与基于消息的协议，有效地协调远程对象。我们提出了我们的路径融合这些对比，但互补的想法，并评估的自动同步在D-SCOOP的性能开销，发现它接近-或优于-明确的基于锁定的同步在Java RMI。

2016-04-15cs.DCcs.PLcs.SE

面向对象编程、函数式编程和R

Object-Oriented Programming, Functional Programming and R

本文回顾了R中的一些编程技术，这些技术已被证明是有用的，特别是对于大型项目。这些包括面向对象编程的几个版本，用于大量的R包。评论试图澄清各种版本背后的起源和思想，每个版本在适当的背景下都是有价值的。R也受到函数式编程思想的强烈影响，特别是将函数式编程与面向对象编程相结合的愿望。为了阐明这种特殊的思想组合是如何在当前的R语言和支持软件中产生的，本文将首先回顾面向对象和函数式编程背后的基本思想，然后研究R的演变，这些思想提供了背景。函数式编程支持定义良好的、可防御的软件，并提供可重现的结果。面向对象的编程是一种卓越的机制，可以在管理复杂性的同时为用户保持简单。这两种范式在支持主要软件以将模型拟合到数据和许多其他统计应用方面很有价值。这些范式在R.函数式编程激发了R语言的很多东西，但R语言并没有强制执行这种范式。从函数的角度来看，面向对象编程不同于非函数语言中使用的面向对象编程，需要强调这一区别以避免混淆。R最初复制了贝尔实验室的S语言，而S语言又受到早期程序库的强烈影响。在每一个阶段，新的想法都被添加进来，但以前的软件也继续在设计中显示其影响力。概述这一演变将进一步阐明为什么我们目前有这种有点不寻常的想法组合。

2014-09-09cs.PLcs.SEstat.CO

对象-空间编程

Object-Spatial Programming

本文提出对象-空间编程（OSP）模型，以拓扑感知 archetype 显式表达空间结构与遍历，从而提升表达力并支持局部性、并行与分布优化。

2025-06-07cs.MAcs.PLcs.SE