- Computer Science (1)
- Electronic digital computers--Programming--Congresses (1)
- Logics and Meanings of Programs (1)
- Mathematical Logic and Formal Languages (1)
- Programming Languages, Compilers, Interpreters (1)
- Programming Techniques (1)
- Programming languages (Electronic computers)--Congresses (1)
- Software Engineering (1)