論文の概要: The Design and Implementation of an Extensible System Meta-Programming
Language
- arxiv url: http://arxiv.org/abs/2309.15416v1
- Date: Wed, 27 Sep 2023 05:46:41 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 06:18:25.214997
- Title: The Design and Implementation of an Extensible System Meta-Programming
Language
- Title(参考訳): 拡張可能なシステムメタプログラミング言語の設計と実装
- Authors: Ronie Salgado
- Abstract要約: 本稿では,プログラム定義をスクリプトとして解釈する手法として,コンパイルプロセスの再定義を提案する。
本稿では,Sysmelの自己コンパイル実装をブートストラップすることで,このアプローチの実現可能性を示す。
- 参考スコア(独自算出の注目度): 0.40792653193642503
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: System programming languages are typically compiled in a linear pipeline
process, which is a completely opaque and isolated to end-users. This limits
the possibilities of performing meta-programming in the same language and
environment, and the extensibility of the compiler itself by end-users. We
propose a novel redefinition of the compilation process in terms of
interpreting the program definition as a script. This evaluation is performed
in an environment where the full compilation pipeline is implemented and
exposed to the user via a meta-object protocol, which forms the basis for a
meta-circular definition and implementation of the programming language itself.
We demonstrate the feasibility of this approach by bootstrapping a
self-compiling implementation of Sysmel, a static and dynamic typed Smalltalk
and C++ inspired programming language.
- Abstract(参考訳): システムプログラミング言語は通常、線形パイプラインプロセスでコンパイルされる。
これにより、同じ言語や環境でメタプログラミングを行う可能性や、エンドユーザによるコンパイラ自体の拡張性が制限される。
プログラム定義をスクリプトとして解釈するという観点から,新しいコンパイルプロセスの再定義を提案する。
この評価は、プログラム言語自体のメタ循環的定義と実装の基礎となるメタオブジェクトプロトコルを介して、完全なコンパイルパイプラインを実装し、ユーザに公開する環境で実行される。
静的で動的に型付けされたSmalltalkとC++にインスパイアされたプログラミング言語であるSysmelの自己コンパイル実装をブートストラップすることで、このアプローチの実現可能性を示す。
関連論文リスト
- Assured Automatic Programming via Large Language Models [8.006578501857447]
我々は,その意図に適合するコードを生成しつつ,プログラマの意図を発見することを目的としている。
本研究の目的は,ユーザ意図の理解を深めることによって,プログラム,仕様,テスト間の一貫性を実現することである。
提案手法によって発見された曖昧な意図が,検証可能な自動生成プログラムの割合をいかに高めるかを示す。
論文 参考訳(メタデータ) (2024-10-24T07:29:15Z) - Dynamic Code Orchestration: Harnessing the Power of Large Language Models for Adaptive Script Execution [0.5735035463793009]
実行中のアプリケーションのコンテキスト内で書かれた言語ディレクティブの動的コード実行について検討する。
この研究は、大規模な言語モデルに支えられて書かれた言語ディレクティブが、いかにして根本的に新しいプログラミングとオペレーティングシステムのパラダイムを提供するかを明確に示している。
論文 参考訳(メタデータ) (2024-08-07T17:11:31Z) - NoviCode: Generating Programs from Natural Language Utterances by Novices [59.71218039095155]
初心者非プログラマによるAPIと自然言語記述を入力とする新しいNLプログラミングタスクであるNoviCodeを提示する。
我々は、NoviCodeがコード合成領域における挑戦的なタスクであることを示し、非技術的命令から複雑なコードを生成することは、現在のText-to-Codeパラダイムを超えている。
論文 参考訳(メタデータ) (2024-07-15T11:26:03Z) - AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents [38.580779075892636]
我々は、コード表現と実行(CoRE)のための新しいシステムを開発する。
提案システムは,自然言語プログラミング,擬似コードプログラミング,フロープログラミングを同一表現で統合し,言語エージェントを構築する。
実行中に、冗長性を最小化するために外部メモリを組み込む。
論文 参考訳(メタデータ) (2024-05-11T04:29:03Z) - Context-Sensitive Abstract Interpretation of Dynamic Languages [0.0]
Javaのような静的言語とPythonやJavaScriptのような動的言語の間には、IDEツールの品質に大きなギャップがあります。
これらの言語の現代的なフレームワークやライブラリは、最高のエルゴノミクスと可読性を達成するために、その動的能力を大いに利用しています。
本稿では,プログラムの動的メタプログラミングと実行を静的に解析することで,このギャップを埋めるアルゴリズムを提案する。
論文 参考訳(メタデータ) (2024-01-31T17:45:05Z) - Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning [84.12154024070024]
本研究では,数学・記号的推論,自然言語理解,後続の課題に対処するための統合フレームワークとして,自然言語組み込みプログラム(NLEP)を提案する。
我々のアプローチは,構造化知識の自然言語表現を含むデータ構造上の関数を定義する完全なPythonプログラムを生成するよう,言語モデルに促す。
Pythonインタープリタが生成されたコードを実行し、出力をプリントする。
論文 参考訳(メタデータ) (2023-09-19T17:54:21Z) - Benchmarking Language Models for Code Syntax Understanding [79.11525961219591]
事前学習された言語モデルは、自然言語処理とプログラム理解の両方において素晴らしい性能を示している。
本研究では,プログラムの構文構造を特定するための,最先端の事前訓練モデルの最初の徹底的なベンチマークを行う。
この結果から,既存のプログラミング言語の事前学習手法の限界が指摘され,構文構造をモデル化することの重要性が示唆された。
論文 参考訳(メタデータ) (2022-10-26T04:47:18Z) - ANGLEr: A Next-Generation Natural Language Exploratory Framework [0.0]
提案した設計は、ANGLErと呼ばれる新しい自然言語処理フレームワークの実装に使用されている。
提案されたフレームワークの主な部分は,(a)プラグイン可能なDockerベースのアーキテクチャ,(b)汎用データモデル,(c)グラフィカルユーザインターフェースを備えたAPI記述で構成される。
論文 参考訳(メタデータ) (2022-05-10T13:32:13Z) - Natural Language to Code Translation with Execution [82.52142893010563]
実行結果-プログラム選択のための最小ベイズリスク復号化。
そこで本研究では,自然言語からコードへのタスクにおいて,事前訓練されたコードモデルの性能を向上することを示す。
論文 参考訳(メタデータ) (2022-04-25T06:06:08Z) - Pre-Trained Language Models for Interactive Decision-Making [72.77825666035203]
目的と観測を埋め込みのシーケンスとして表現する模倣学習の枠組みを述べる。
このフレームワークは様々な環境にまたがって効果的な一般化を可能にすることを実証する。
新たなゴールや新しいシーンを含むテストタスクでは、言語モデルによる初期化ポリシーはタスク完了率を43.6%改善する。
論文 参考訳(メタデータ) (2022-02-03T18:55:52Z) - Representing Partial Programs with Blended Abstract Semantics [62.20775388513027]
プログラム合成エンジンにおける部分的なプログラム表現手法について紹介する。
モジュラーニューラルネットワークとして実装された近似実行モデルを学ぶ。
これらのハイブリッドニューロシンボリック表現は、実行誘導型シンセサイザーがより強力な言語構成を使うことができることを示す。
論文 参考訳(メタデータ) (2020-12-23T20:40:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。