Similar to Eiffel
TypeScript
TypeScript
Visual Basic .NET
Visual Basic (.NET)
Crystal (プログラミング言語)
Crystal (programming language)
Scala
Scala (programming language)Ruby
Ruby (programming language)
プログラム意味論
Semantics (computer science)
仕様記述言語
Specification language
形式仕様記述
Formal specification/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
Object Constraint Language
Object Constraint LanguagePlusCal
PlusCalProperty Specification Language
Property Specification LanguageSpec Sharp
TLA+
TLA+
VDM
Vienna Development Method
Z言語
Z notation
公理的意味論
Axiomatic semantics
仕様及び記述言語
Specification and Description Language
操作的意味論
Operational semantics表示的意味論
Denotational semantics
プロセス計算
Process calculus
ペトリネット
Petri netプログラミング言語
Programming language
プログラミング言語一覧
List of programming languages
プログラミング言語年表
History of programming languages
プログラミング言語の比較
Comparison of programming languages
A+
A+ (programming language)A-0 System
A-0 System
