論文の概要: 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の自己コンパイル実装をブートストラップすることで、このアプローチの実現可能性を示す。
関連論文リスト
- Accurate Coverage Metrics for Compiler-Generated Debugging Information [0.0]
多くのツールは、プログラム状態のソース言語ビューを示すために、コンパイラが生成したメタデータに依存している。
局所変数のカバー範囲を測定するための現在のアプローチは粗末な仮定に基づいている。
我々は,デバッグ品質を改善するための言語実装のモチベーションとして,ツールによって計算可能な,いくつかの新しいメトリクスを提案する。
論文 参考訳(メタデータ) (2024-02-07T13:01:28Z) - Context-Sensitive Abstract Interpretation of Dynamic Languages [0.0]
Javaのような静的言語とPythonやJavaScriptのような動的言語の間には、IDEツールの品質に大きなギャップがあります。
これらの言語の現代的なフレームワークやライブラリは、最高のエルゴノミクスと可読性を達成するために、その動的能力を大いに利用しています。
本稿では,プログラムの動的メタプログラミングと実行を静的に解析することで,このギャップを埋めるアルゴリズムを提案する。
論文 参考訳(メタデータ) (2024-01-31T17:45:05Z) - LILO: Learning Interpretable Libraries by Compressing and Documenting Code [72.90003911433905]
LILOは、反復的に合成、圧縮、文書化を行う、ニューロシンボリックなフレームワークである。
LILOは、LLM誘導プログラム合成と、Stitchから自動化された最近のアルゴリズムの進歩を組み合わせたものである。
LILOのシンセサイザーが学習した抽象化を解釈し、デプロイするのを手助けすることで、AutoDocがパフォーマンスを向上させることが分かりました。
論文 参考訳(メタデータ) (2023-10-30T17:55:02Z) - Natural Language Embedded Programs for Hybrid Language Symbolic
Reasoning [86.92053166457116]
本研究では,数学・記号的推論,自然言語理解,後続の課題に対処するための統合フレームワークとして,自然言語組み込みプログラム(NLEP)を提案する。
我々のアプローチは,構造化知識の自然言語表現を含むデータ構造上の関数を定義する完全なPythonプログラムを生成するよう,言語モデルに促す。
Pythonインタープリタが生成されたコードを実行し、出力をプリントする。
論文 参考訳(メタデータ) (2023-09-19T17:54:21Z) - CRIL: A Concurrent Reversible Intermediate Language [0.0]
本稿では,高レベル並列言語を他の低レベル並列言語に翻訳するための構成の可逆中間言語を提案し,可逆性を維持する。
機能的可逆言語としてMogensen が用いた RIL の拡張として CRIL を提案し,P-V 演算に基づくマルチスレッドプロセス呼び出しと同期プリミティブを組み込んだ。
論文 参考訳(メタデータ) (2023-09-13T20:52:54Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。