論文の概要: Reactive Semantics for User Interface Description Languages

• arxiv url: http://arxiv.org/abs/2508.13610v1
• Date: Tue, 19 Aug 2025 08:16:28 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-08-20 15:36:31.844302
• Title: Reactive Semantics for User Interface Description Languages
• Title（参考訳）: ユーザインタフェース記述言語のためのリアクティブセマンティクス
• Authors: Basile Pesin, Celia Picard, Cyril Allignol,
• Abstract要約: 本稿では,中核となるリアクティブUIDLであるSmaliteについて記述型セマンティックモデルを提案する。 この作業は、UIDLの正式に認証されたコンパイラを生成するためのステップストーンとして使用することができる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: User Interface Description Languages (UIDLs) are high-level languages that facilitate the development of Human-Machine Interfaces, such as Graphical User Interface (GUI) applications. They usually provide first-class primitives to specify how the program reacts to an external event (user input, network message), and how data flows through the program. Although these domain-specific languages are now widely used to implement safety-critical GUIs, little work has been invested in their formalization and verification. In this paper, we propose a denotational semantic model for a core reactive UIDL, Smalite, which we argue is expressive enough to encode constructs from more realistic languages. This preliminary work may be used as a stepping stone to produce a formally verified compiler for UIDLs.
• Abstract（参考訳）: ユーザインタフェース記述言語(UIDL)は、グラフィカルユーザインタフェース(GUI)アプリケーションのようなヒューマンマシンインタフェースの開発を容易にする高レベル言語である。 通常は、プログラムが外部イベント(ユーザ入力、ネットワークメッセージ)にどのように反応するか、そしてプログラムを通してどのようにデータが流れるかを指定するために、ファーストクラスプリミティブを提供する。 これらのドメイン固有言語は安全クリティカルなGUIの実装に広く使用されているが、形式化や検証にはほとんど投資されていない。 本稿では,より現実的な言語からのコンストラクトをエンコードするのに十分な表現性を持つ,コアリアクティブUIDLであるSmaliteについて記述意味モデルを提案する。 この予備的な作業は、UIDLの正式に認証されたコンパイラを生成するためのステップストーンとして使用することができる。

関連論文リスト

• Statically Contextualizing Large Language Models with Typed Holes [4.180458188910334]
  大規模言語モデル(LLM)は、プログラム合成のランドスケープを形変えた。 LLMは適切なコンテキストを持たないため、しばしば壊れたコードを幻覚させる。 本稿では,言語の種類と結合構造との密接な統合が,この文脈化問題に対処できることを実証する。
  論文  参考訳（メタデータ） (2024-09-02T03:29:00Z)
• An Open-Source American Sign Language Fingerspell Recognition and Semantic Pose Retrieval Interface [0.0]
  本稿では,アメリカ手話の指先認識とセマンティックポーズ検索のためのオープンソースインタフェースを提案する。 我々は、モデルアーキテクチャの技術的な詳細、ワイルドなアプリケーション、および現実世界の消費者アプリケーションの将来的な拡張について論じる。
  論文  参考訳（メタデータ） (2024-08-17T23:59:17Z)
• CMULAB: An Open-Source Framework for Training and Deployment of Natural Language Processing Models [59.91221728187576]
  本稿では,NLPモデルのモデル展開と連続的なヒューマン・イン・ザ・ループの微調整を簡単にするオープンソースフレームワークであるCMU言語バックエンドを紹介する。 CMULABは、マルチ言語モデルのパワーを活用して、音声認識、OCR、翻訳、構文解析などの既存のツールを新しい言語に迅速に適応し、拡張することができる。
  論文  参考訳（メタデータ） (2024-04-03T02:21:46Z)
• Large Language User Interfaces: Voice Interactive User Interfaces powered by LLMs [5.06113628525842]
  ユーザとユーザインターフェース(UI)の仲介として機能するフレームワークを提案する。 アノテーションの形でUIコンポーネントのテキストセマンティックマッピングに立つシステムを採用している。 我々のエンジンは、最も適切なアプリケーションを分類し、関連するパラメータを抽出し、その後、ユーザの期待するアクションの正確な予測を実行することができる。
  論文  参考訳（メタデータ） (2024-02-07T21:08:49Z)
• Interpreting User Requests in the Context of Natural Language Standing Instructions [89.12540932734476]
  我々は17のドメインにまたがる2.4K以上の対話からなる言語とプログラムのデータセットであるNLSIを開発した。 NLSIの鍵となる課題は、ある対話に適用可能なスタンディング命令のサブセットを特定することである。
  論文  参考訳（メタデータ） (2023-11-16T11:19:26Z)
• Dialogue-based generation of self-driving simulation scenarios using Large Language Models [14.86435467709869]
  シミュレーションは自動運転車のコントローラーを開発し評価するための貴重なツールである。 現在のシミュレーションフレームワークは、高度に専門的なドメイン固有言語によって駆動される。 簡潔な英語の発話と、ユーザの意図をキャプチャする実行可能なコードの間には、しばしばギャップがある。
  論文  参考訳（メタデータ） (2023-10-26T13:07:01Z)
• Soft Language Clustering for Multilingual Model Pre-training [57.18058739931463]
  本稿では,インスタンスを条件付きで符号化するためのフレキシブルガイダンスとして,コンテキスト的にプロンプトを検索するXLM-Pを提案する。 我々のXLM-Pは、(1)言語間における言語不変および言語固有知識の軽量なモデリングを可能にし、(2)他の多言語事前学習手法との容易な統合を可能にする。
  論文  参考訳（メタデータ） (2023-06-13T08:08:08Z)
• Natural Language Commanding via Program Synthesis [0.29360071145551064]
  Microsoft Officeのような生産性ソフトウェアのための自然言語フレンドリなAIシステムであるSemantic Interpreterを紹介する。 LLMは自然言語として表現されるユーザインテントを理解するのに優れていますが、アプリケーション固有のユーザインテントを満たすには不十分です。 私たちは、Officeアプリケーションにおけるエンティティのアクションの実行とインタラクションに特化した簡潔でハイレベルな言語であるOffice Domain Specific Language (O)を紹介します。
  論文  参考訳（メタデータ） (2023-06-06T07:28:49Z)
• PADL: Language-Directed Physics-Based Character Control [66.517142635815]
  本稿では,文字が行うべきハイレベルなタスクと低レベルなスキルを指定するために,ユーザが自然言語コマンドを発行できるようにするPADLを提案する。 我々は,シミュレーションされたヒューマノイドキャラクタを効果的に誘導し,多種多様な複雑な運動能力を実現するために,本フレームワークを適用した。
  論文  参考訳（メタデータ） (2023-01-31T18:59:22Z)
• Constrained Language Models Yield Few-Shot Semantic Parsers [73.50960967598654]
  我々は,事前学習された大規模言語モデルの利用を,少ない意味論として検討する。 意味構文解析の目標は、自然言語入力によって構造化された意味表現を生成することである。 言語モデルを用いて、入力を英語に似た制御されたサブ言語にパラフレーズし、対象の意味表現に自動的にマッピングする。
  論文  参考訳（メタデータ） (2021-04-18T08:13:06Z)

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

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