このプロジェクトは強い型付きの制約プログラミング言語の実現を目標とする.この言語は論理型プログラミングと命令型プログラミングの長所を結合するものである. The project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming.
- コンピューター用語辞典
命令型プログラミングとはプログラミングの仕方の一つであり、そこではプログラム状態とそのプログラム状態を変化させる命令文とに基づいて計算を記述する。 Imperative programming is a programming style that describes computation in terms of a program state and statements that change the program state.
- コンピューター用語辞典
スタティックリンク技法は、命令型のプログラミング言語をスタックベースで実装するときに使われる普通の方法である。 The static link technique is a common method used by stack-based implementations of imperative programming languages.
- コンピューター用語辞典
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.