- Computer programs--Verification (9)
- Parallel processing (Electronic computers) (2)
- Ada (Computer program language) (1)
- Compilers (Computer programs) (1)
- Computer programs--Specifications (1)
- Data structures (Computer science) (1)
- PL/CV (Computer program language) (1)
- Programming languages (Electronic computers)--Semantics (1)