抽象仕様の英語

仕様フロントエンド６によって、内部仕様２を抽象構文木に変換し、仕様抽象構文木９とする。例文帳に追加

By a specification front end 6, an internal specification 2 is converted into an abstract syntax tree, as a specification abstract syntax tree 9. - 特許庁

抽象構文木検証部７は、プログラム抽象構文木８と仕様抽象構文木９とを比較し、検証対象プログラムが内部仕様２を満足するかを検証する。例文帳に追加

An abstract syntax tree verifying section 7 compares the program abstract syntax tree 8 and the specification abstract syntax tree 9, and examines whether a program to be verified satisfies the internal specification 2. - 特許庁

ユーザは、上位言語入力ファイル１０の解析結果として抽象構文木記憶部２２０に記憶される抽象構文木の使用を記述した抽象構文木仕様定義ファイル３０を作成し、プログラミング言語変換プログラム開発支援装置１００に入力する。例文帳に追加

A user prepares an abstract syntax tree specification definition file 30, which describes the use of the abstract syntax tree stored in an abstract syntax tree storage part 220 as the analyzed result of a high-order language input file 10, and inputs it to a programming language translation program development supporting device 100. - 特許庁

プログラミング言語変換プログラム開発支援装置１００は、抽象構文木仕様定義ファイル３０を解析し、この解析結果を元にして抽象構文木ダンププログラムファイル４０、抽象構文木アクセスプログラムファイル５０及び抽象構文木走査プログラムファイル６０を作成する。例文帳に追加

The programming language translation program development supporting device 100 analyzes the abstract syntax tree specification definition file 30 and prepares an abstract syntax tree damp program file 40, an abstract syntax tree access program file 50 and an abstract syntax tree scan program file 60 on the basis of this analyzed result. - 特許庁

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。例文帳に追加

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique. - 特許庁

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する．例文帳に追加

We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness.発音を聞く  - コンピューター用語辞典

ユーザ定義の基底クラスにおいて、そのクラスの導出クラスにおいてオーバライドすることが必要な抽象化メソッドはこの例外を送出しなくてはなりません。 バージョン 1.5.2 で 新たに追加 された仕様です。例文帳に追加

In user defined base classes, abstract methods should raise this exception when they require derived classes to override the method.New in version 1.5.2. - Python