746
edits
Programming language theory and formal methods
(Data structures and algorithms) |
(Programming language theory and formal methods) |
||
| Line 165: | Line 165: | ||
|} | |} | ||
====Programming language theory and formal methods==== | |||
{{main|Programming language theory|Formal methods}} | |||
Programming language theory is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of [[programming language]]s and their individual [[Programming language#Elements|features]]. It falls within the discipline of computer science, both depending on and affecting [[mathematics]], software engineering, and [[linguistics]]. It is an active research area, with numerous dedicated academic journals. | |||
=== Answering the question === | === Answering the question === | ||