Programming languages (Electronic computers) 39 Semantics 39 Congresses 10 Computer programming 4 Syntax 4 Data structures (Computer science) 3 Parallel processing (Electronic computers) 3 Ada (Computer program language) 2 Computer programs 2 Logic, Symbolic and mathematical 2 Proof theory 2 Verification 2 Algebra, Abstract 1 Artificial intelligence 1 Categories (Mathematics) 1 Compiling (Electronic computers) 1 Computer algorithms 1 Computer science 1 Computer software 1 Development 1 Electronic digital computers 1 Formal languages 1 Functional programming (Computer science) 1 Interactive computer systems 1 LISP (Computer program language) 1 Language and logic 1 Logic programming 1 Mathematics 1 Metalanguage 1 Natural language processing (Computer science) 1