| [B/D] | 1987 | Specialised Languages | United Kingdom | Bayesian Probability Programming Language | |
| CSP-S | 1987 | United Kingdom | |||
| DACTL | 1987 | Intermediate languages and VMs | United Kingdom | Declarative Alvey Compiler Target Language | |
| Dactl0 | 1987 | United Kingdom | |||
| F-HYBRID | 1987 | United Kingdom | |||
| FLIC | 1987 | Specialised Languages | United Kingdom | Intermediate level language for functional programs | |
| IB-Templog | 1987 | United Kingdom | |||
| Occam 2 | 1987 | United Kingdom | Improved version of Occam | ||
| PJama | 1987 | United Kingdom | |||
| PPLambda | 1987 | United Kingdom | |||
| SASL+LV | 1987 | United Kingdom | |||
| SPI | 1987 | Specialised Languages | Interface and windowing | United Kingdom | Interface definition language based around CSP and me-too |
| Strand | 1987 | United Kingdom | |||
| UMIST-OBJ | 1987 | United Kingdom |