論文の概要: A Calculus of Overlays

• arxiv url: http://arxiv.org/abs/2602.16291v1
• Date: Wed, 18 Feb 2026 09:17:20 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-19 15:58:30.556714
• Title: A Calculus of Overlays
• Title（参考訳）: オーバーレイの計算
• Authors: Bo Yang,
• Abstract要約: Overlay-Calculusは宣言型プログラミングの基礎として$$-calculusを組み込んでいる。 これは、Bhm木同値性に関して、遅延$$-calculusの完全に抽象的な意味論を誘導する。 これらの特性は、設定言語、依存性注入、オブジェクト指向プログラミング、構成可能なエフェクトシステム、モジュール化されたソフトウェアアーキテクチャ、ファイルシステム・アズ・コンパイラ、汎用プログラミング、ノーコード開発への応用を提案する。
• 参考スコア（独自算出の注目度）: 4.3899393649648015
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Just as the $λ$-calculus uses three primitives (abstraction, application, variable) as the foundation of functional programming, Overlay-Calculus uses three primitives (record, definition, inheritance) as the foundation of declarative programming. It trivially embeds the $λ$-calculus, although the entire semantics builds on only naive set theory; as a consequence, all constructs including inheritance are inherently commutative, idempotent, and associative; the linearization problem of multiple inheritance simply does not arise. This induces a fully abstract semantics of the lazy $λ$-calculus with respect to Böhm tree equivalence. Overlay-Calculus is distilled from the Overlay language, a practical implementation in which we observed further emergent phenomena: the Expression Problem dissolves, programs are CPS-agnostic, records natively encode random-access memory, and self-reference resolves to multiple targets. These properties suggest applications to configuration languages, dependency injection, object-oriented programming, composable effect systems, modular software architectures, file-system-as-compiler, general-purpose programming, and no-code development.
• Abstract（参考訳）: λ$-calculusが関数型プログラミングの基盤として3つのプリミティブ(抽出、アプリケーション、変数)を使用するのと同じように、Overlay-Calculusは宣言型プログラミングの基盤として3つのプリミティブ(記録、定義、継承)を使用する。 これは自明に$λ$-計算を埋め込むが、意味論全体は単純集合論のみを基礎としており、結果として、継承を含むすべての構成物は本質的に可換であり、等等化であり、多重継承の線型化問題は単に生じない。 これにより、ベムの木同値性に関して、遅延$λ$-計算の完全な抽象的意味論が導かれる。 Overlay-CalculusはOverlay言語から抽出され、Expression Problemは解消され、プログラムはCPSに依存しず、ランダムアクセスメモリをネイティブにエンコードし、自己参照の解決を複数のターゲットに記録する。 これらの特性は、設定言語、依存性注入、オブジェクト指向プログラミング、構成可能なエフェクトシステム、モジュール化されたソフトウェアアーキテクチャ、ファイルシステム・アズ・コンパイラ、汎用プログラミング、ノーコード開発への応用を提案する。

関連論文リスト

• ATLAS: Automated Tree-based Language Analysis System for C and C++ source programs [1.0499611180329804]
  本稿では,文レベル制御フローグラフ(CFG)と型認識データフローグラフ(DFG)を生成するPythonベースのコマンドラインインタフェース(CLI)であるATLASを紹介する。 ATLASは、下流のソフトウェアエンジニアリング(SE)と機械学習ベースのプログラム理解を改善するための実践的な基盤を提供する。
  論文  参考訳（メタデータ） (2025-12-14T01:11:11Z)
• Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation [0.0]
  Generative Logic (GL) は、ユーザの公理的定義から始まる決定論的アーキテクチャである。 GLは予想を列挙し、正規化、型、CEフィルタを適用し、機械チェック可能な証明を自動的に再構築する。
  論文  参考訳（メタデータ） (2025-07-25T17:29:19Z)
• A Symbolic Computing Perspective on Software Systems [0.0]
  シンボリック数学計算システムは、60年以上にわたって、ソフトウェアシステムの石炭鉱山の運河として機能してきた。 主要な記号的数理計算システムには、算術、メモリ管理、その他のプリミティブのための低レベルコード、bespokeプログラミング言語のコンパイラまたはインタプリタ、高レベルの数理アルゴリズムのライブラリ、ユーザーインターフェースなどが含まれる。
  論文  参考訳（メタデータ） (2024-06-13T13:10:47Z)
• ReGAL: Refactoring Programs to Discover Generalizable Abstractions [59.05769810380928]
  Generalizable Abstraction Learning (ReGAL)は、再利用可能な関数のライブラリをコード化して学習する手法である。 ReGALによって発見された共有関数ライブラリは、プログラムが様々な領域で容易に予測できることを示している。 CodeLlama-13Bでは、ReGALはLOGOで11.5%、日付理解で26.1%、TextCraftで8.1%という絶対精度が向上し、3つのドメインのうち2つでGPT-3.5を上回った。
  論文  参考訳（メタデータ） (2024-01-29T18:45:30Z)
• When Do Program-of-Thoughts Work for Reasoning? [51.2699797837818]
  本稿では,コードと推論能力の相関性を測定するために,複雑性に富んだ推論スコア(CIRS)を提案する。 具体的には、抽象構文木を用いて構造情報をエンコードし、論理的複雑性を計算する。 コードはhttps://github.com/zjunlp/EasyInstructのEasyInstructフレームワークに統合される。
  論文  参考訳（メタデータ） (2023-08-29T17:22:39Z)
• Dynamic programming by polymorphic semiring algebraic shortcut fusion [1.9405875431318445]
  動的プログラミング(動的プログラミング、英: Dynamic Programming、DP)は、難解問題の効率的かつ正確な解法のためのアルゴリズム設計パラダイムである。 本稿では,セミリングに基づくDPアルゴリズムを体系的に導出するための厳密な代数形式について述べる。
  論文  参考訳（メタデータ） (2021-07-05T00:51:02Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。