論文の概要: ScaffML: A Quantum Behavioral Interface Specification Language for
Scaffold
- arxiv url: http://arxiv.org/abs/2306.06468v1
- Date: Sat, 10 Jun 2023 15:44:45 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-24 03:55:30.949413
- Title: ScaffML: A Quantum Behavioral Interface Specification Language for
Scaffold
- Title（参考訳）: ScaffML: Scaffoldのための量子行動インタフェース仕様言語
- Authors: Tiancheng Jin, Jianjun Zhao
- Abstract要約: ScaffML は量子プログラミング言語 Scaffold の動作インタフェース仕様言語である。
Scaffoldモジュールの事前条件と後条件の設定を可能にし、Scaffoldコードとアサーションの混合を可能にする。
量子プログラマに使いやすい仕様言語を提供し、静的解析、実行時チェック、Scaffoldプログラムの正式な検証をサポートする。
- 参考スコア（独自算出の注目度）: 7.476257326504038
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Ensuring the correctness of quantum programs is crucial for quantum software
quality assurance. Although various effective verification methods exist for
classical programs, they cannot be applied to quantum programs due to the
fundamental differences in their execution logic, such as quantum superposition
and entanglement. This calls for new methods to verify the correctness of
quantum programs. In this paper, we present a behavioral interface
specification language (BISL) called ScaffML for the quantum programming
language Scaffold. ScaffML allows the specification of pre- and post-conditions
for Scaffold modules and enables the mixing of assertions with Scaffold code,
thereby facilitating debugging and verification of quantum programs. This paper
discusses the goals and overall approach of ScaffML and describes the basic
features of the language through examples. ScaffML provides an easy-to-use
specification language for quantum programmers, supporting static analysis,
run-time checking, and formal verification of Scaffold programs. Finally, we
present several instances to illustrate the workflow and functionalities of
ScaffML.
- Abstract（参考訳）: 量子プログラムの正確性を保証することは、量子ソフトウェアの品質保証に不可欠である。
古典的プログラムには様々な効果的な検証方法が存在するが、量子重ね合わせや絡み合いといった実行ロジックの基本的な違いのために量子プログラムに適用することはできない。
これにより、量子プログラムの正確性を検証する新しい方法が要求される。
本稿では,量子プログラミング言語Scaffoldに対するScaffMLと呼ばれる振舞いインタフェース仕様言語(BISL)を提案する。
ScaffMLは、Scaffoldモジュールの事前条件と後条件の指定を可能にし、Scaffoldコードとのアサーションの混合を可能にし、量子プログラムのデバッグと検証を容易にする。
本稿では,ScaffMLの目標と全体的アプローチについて論じ,例を通して言語の基本的特徴について述べる。
ScaffMLは量子プログラマに使いやすい仕様言語を提供し、静的解析、実行時チェック、Scaffoldプログラムの正式な検証をサポートする。
最後に、ScoffMLのワークフローと機能を説明するいくつかの例を示す。
関連論文リスト
- Quantum Information Processing with Molecular Nanomagnets: an introduction [49.89725935672549]
本稿では,量子情報処理の導入について紹介する。
量子アルゴリズムを理解し設計するための基本的なツールを紹介し、分子スピンアーキテクチャ上での実際の実現を常に言及する。
分子スピンキュートハードウェア上で提案および実装された量子アルゴリズムの例を示す。
論文 参考訳（メタデータ） (2024-05-31T16:43:20Z) - LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended) [0.0]
我々は、UNIX哲学の中核となる原理をカプセル化することを目的とした量子トランスパイラの分類学的仕様を提供する。
次に量子回路分解を同定し、量子トランスパイレーションに有用であると期待する。
本稿では,LinguaQuantaの実装において直面する課題について論じる。
論文 参考訳（メタデータ） (2024-04-11T22:12:18Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳（メタデータ） (2023-10-04T17:53:55Z) - QbC: Quantum Correctness by Construction [4.572433350229651]
提案するQuantum Correctness by Construction (QbC) は,その仕様から量子プログラムを構築するための手法である。
プリコンディションとポストコンディションを使用してプログラム特性を規定し、その仕様から量子状態におけるプログラム構築のための音質および完全改善ルールを提案する。
このアプローチは、プログラムの詳細を導出する方法を自然に提案し、その過程で重要な設計上の選択を強調します。
論文 参考訳（メタデータ） (2023-07-28T16:00:57Z) - Design by Contract Framework for Quantum Software [1.9988400064884826]
本稿では,量子ソフトウェアのための設計・設計フレームワークを提案する。
特定の手順によって構築された全ての量子回路の入力および出力状態に関するアサーションを提供する。
我々のフレームワークは量子ソフトウェアの全手順を検証するのに十分な表現力を持っている。
論文 参考訳（メタデータ） (2023-03-31T00:21:28Z) - Delegated variational quantum algorithms based on quantum homomorphic
encryption [69.50567607858659]
変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。
クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。
量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
論文 参考訳（メタデータ） (2023-01-25T07:00:13Z) - Qafny: A Quantum-Program Verifier [39.47005122712576]
本稿では,量子プログラムの自動検証システムであるQafnyを紹介する。
Qafnyの核心は、量子演算を古典的な配列演算に変換する型誘導量子証明システムである。
我々はQafnyが量子ウォークアルゴリズム、Groverのアルゴリズム、Shorのアルゴリズムを含む重要な量子アルゴリズムを効率的に検証する方法を示す。
論文 参考訳（メタデータ） (2022-11-11T18:50:52Z) - Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。
適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文 参考訳（メタデータ） (2021-02-09T13:48:00Z) - A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
量子コンピューティングにおけるMLIR(Multi-Level Intermediate Representation)の有用性を実証する。
我々は、共通量子集合言語の表現とコンパイルを可能にする新しい量子方言でMLIRを拡張した。
我々はQIR量子ランタイムAPIのqcor対応実装を活用して、再ターゲット可能な(量子ハードウェアに依存しない)コンパイラワークフローを実現する。
論文 参考訳（メタデータ） (2021-01-27T13:00:39Z) - Compiling quantamorphisms for the IBM Q Experience [0.0]
本稿では,古典的プログラム代数の法則を量子プログラミングに拡張するために貢献する。
IBM Q Experienceで利用可能な量子デバイスにデプロイされるように、正しく構成された量子回路を構築することを目的としている。
論文 参考訳（メタデータ） (2020-10-21T13:32:24Z) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。
Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。
ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文 参考訳（メタデータ） (2020-07-21T15:36:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。