Similar to 静的型付け
制約プログラミング
Constraint programming
制約論理プログラミング
Constraint logic programming
宣言型プログラミング
Declarative programming
ソフトウェアコンポーネント
Software componentダック・タイピング
Duck typing
知識表現
Knowledge representation and reasoning
抽象化 (計算機科学)
Abstraction (computer science)
データフロー
Dataflow
データフロープログラミング
Dataflow programming
手続き型プログラミング
Procedural programming
動的プログラミング言語
Dynamic programming language
Don't repeat yourself
Don't repeat yourself
非構造化プログラミング
Non-structured programming
副作用 (プログラム)
Side effect (computer science)
文芸的プログラミング
Literate programming
分散コンピューティング
Distributed computing
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
ホストアプリケーション
マルチパラダイムプログラミング言語
Multi-paradigm programming language
ミルズの構造化プログラミング
命令型プログラミング
Imperative programming
メタプログラミング
Metaprogramming
Write once, run anywhere
Write once, run anywhere
リフレクション (情報工学)
Reflective programming
論理プログラミング
Logic programming
プログラム書法
The Elements of Programming Style
データ型
Data type