symbolic programとは 意味・読み方・使い方

To provide a software architecture for verifying a C++ program using symbolic execution.例文帳に追加

記号的実行を用いてＣ＋＋プログラムを検証するソフトウェアアーキテクチャを提供する。 - 特許庁

An object file's symbol table holds information needed to locate and relocate a program's symbolic definitions and references.発音を聞く 例文帳に追加

オブジェクトファイルのシンボルテーブルは、プログラムのシンボル定義と参照を配置または再配置するのに必要な情報を保持する。 - JM

The operation in the program accompanied with index expression is identified and symbolic executed so that information describing a memory access by the program can be prepared.例文帳に追加

指標表現を伴うプログラム中のオペレーションが、識別されシンボリック実行され、プログラムによるメモリアクセスを記載する情報を作成する。 - 特許庁

The symbolic execution includes allocating symbol input to each input parameter of the C++ program, determining one or more execution paths in the C++ program, and constructing a symbol representation for advancing the C++ program to the execution path when each of the execution paths is fulfilled.例文帳に追加

この記号的実行は、Ｃ＋＋プログラムの各入力変数に記号入力を割当て、Ｃ＋＋プログラム内の１つ以上の実行経路を決定し、各実行経路に関して、満たされる場合にＣ＋＋プログラムを該実行経路へと進ませる記号表現を構築することを有する。 - 特許庁

To provide a debugging device and a debugger control method for extending a breakpoint designation method and command language specifications as to a symbolic debugger to improve convenience and for changing a logic of a program without requiring compiling as to an aspect-oriented programming language.例文帳に追加

シンボリックデバッガに対してはブレークポイントの指定方式とコマンド言語仕様を拡張して利便性を向上する一方、アスペクト指向プログラミング言語に対してはコンパイル不要で、プログラムのロジック変更等が可能なデバッグ装置及びデバッガ制御方法を実現すること。 - 特許庁

The symbolic debugger is provided with: a display means; a model execution means for executing a hardware operation model; and a correspondence relation management means for managing the display of the execution state of a source program by the display means according to the execution state.例文帳に追加

シンボリックデバッガは、表示手段と、ハードウェア動作モデルを実行するモデル実行手段と、その実行状態に応じて表示手段によるソースプログラムの実行状態の表示を管理する対応関係管理手段と、を有する。 - 特許庁