To search menu
Browse language results for United Kingdom {
By year
/By name}
[B/D]
1987
Specialised Languages
United Kingdom
Bayesian Probability Programming Language
2CL
1965
Specialised Languages
Numerical Control
United Kingdom
Modified NEL NC machine
2OBJ
1995
United Kingdom
Meta-logical framework theorem prover
Aardappel
1997
Specialised Languages
Tree
United Kingdom
Concurrent tree space transformation
ABC
1991
Specialised Languages
Sound-Performance
United Kingdom
ABL
1963
Excluded from Sammet
2G Autocodes
United Kingdom
Atlas Basic Language
ABS12 ALGOL
1962
Numerical Scientific
True ALGOL60s
United Kingdom
Algol 60 with process control extensions
ABSET
1970
Specialised Languages
Set
United Kingdom
Set-based language
ABSYS
1966
Specialised Languages
Horn clause
United Kingdom
Aberdeen system declarative language
ACE
1961
Multi-purpose
Early Autocodes
United Kingdom
Autocode for the ACE
ACL
1971
Multi-purpose
Early Autocodes
United Kingdom
Systems language for ICL Atlas
ACT
1966
Experimental and other
State transition tables
United Kingdom
Automated Contingency Translator
Actus 2
1986
United Kingdom
Agent-K
1994
United Kingdom
Agent-oriented language with temporality
AIDA
1972
Business Data Processing
Other DPLs
United Kingdom
ICL 4GL
ALAM
1967
Numerical Scientific
Algebraic
United Kingdom
Atlas LISP Algebraic Manipulation
Aldor
1995
Non-numerical Scientific
United Kingdom
Aldwych
2000
Business Data Processing
United Kingdom
Data co-ordination language
ALEC
1967
Non-numerical Scientific
Other UK historic languages
United Kingdom
A User Extensible Scientific Programming Language
ALEPH
2001
United Kingdom
ALEPH
1970
Specialised Languages
Grammar and Syntax-oriented
United Kingdom
Algol 68 with areas
1972
Experimental and other
True ALGOL68s
United Kingdom
Addition of areas to Algol 68
ALGOL 68C
1975
Numerical Scientific
True ALGOL68s
United Kingdom
Cambridge Algol 68
ALGOL 68-R
1970
Numerical Scientific
True ALGOL68s
United Kingdom
ALGOL 68RS
1972
Numerical Scientific
True ALGOL68s
United Kingdom
Extended RS Algol
ALGOL 68-RT
1979
Numerical Scientific
True ALGOL68s
United Kingdom
Parallel ALGOL 68-R
ALGOL C
1981
Numerical Scientific
True ALGOL60s
United Kingdom
Cambridge educational Algol 60
Algol H
1975
Experimental and other
True ALGOL68s
United Kingdom
Proposed extensions to the mode system of Algol 68
Algol S
1975
Numerical Scientific
True ALGOL60s
United Kingdom
ALGOL(E)
1980
Numerical Scientific
True ALGOL60s
United Kingdom
ICL Algol 60
ALP
1962
String and List Processing
Early Autocodes
United Kingdom
Autocode List-Processing Language
Alphacode
1959
Multi-purpose
Early Autocodes
United Kingdom
High level autocode for English Electric Deuce
AlphaPop
1986
Stack
United Kingdom
Pop on the Mac
AltMode
1968
United Kingdom
Amos Input System
1954
Excluded from Sammet
Early Autocodes
United Kingdom
Halstead Autocode
AMPLE
1984
Specialised Languages
Sound-Performance
United Kingdom
Music programming language
Anderson statistical language
1963
Specialised Languages
Statistical
United Kingdom
Andorra-I
1991
Specialised Languages
United Kingdom
Bristol U Andorra
APAL
1975
United Kingdom
APE(X)C
1950
Excluded from Sammet
Initial orders
United Kingdom
Coding system for the APE(X)C
APLX
2002
Business Data Processing
United Kingdom
Extensions to APL
APRIL
1977
United Kingdom
APSE
1966
Differential Equations
United Kingdom
Simulation system
ARC
1947
Excluded from Sammet
Initial orders
United Kingdom
Assembler for Booth
AS Intercode
1959
Multi-purpose
Early Autocodes
United Kingdom
Port of Intercode to run at Armstrong Siddley
ASCOP
1967
Specialised Languages
Statistical
United Kingdom
Atlas/NCC Stats Package
ASN.1
1984
Specialised Languages
United Kingdom
Abstract Syntax Notation
ASP
1962
Symbolic assemblers
United Kingdom
ASP
1965
String and List Processing
Map/Dictionary
United Kingdom
Associative Structures Package
ASP-7
1966
String and List Processing
Map/Dictionary
United Kingdom
ASP for the PDP-7
Atlas Algol
1965
United Kingdom
Atlas Algol Preprocesor System
1963
United Kingdom
Atlas Autocode
1964
Multi-purpose
Early Autocodes
United Kingdom
Algol-like high-level Autocode
Atlas Commercial Language
1965
COBOL coeval
United Kingdom
Atlas Fortran
1963
Numerical Scientific
Fortran I-III Variants
United Kingdom
Atlas Fortran V
1967
Numerical Scientific
Non Standard FIV
United Kingdom
Atlas scientific Fortran dialect
ATLAS LISP
1966
String and List Processing
Lazy Evaluation LISPs
United Kingdom
LISP 1.5 for the ATLAS
ATOL
1979
United Kingdom
Aurora
1988
United Kingdom
AUTOCODE
1952
Multi-purpose
Early Autocodes
United Kingdom
Symbolic assembly programming language for Manchester Mark 1
AUTOPRESS
1967
Numerical Control
United Kingdom
Ferranti NC language
Autostat
1960
Numerical Scientific
Statistical
United Kingdom
Statistical Programming Language
B
1996
Specialised Languages
United Kingdom
Specification languag
Babbage
1980
PL-360s
United Kingdom
BABEL
1969
Multi-purpose
True ALGOL60s
United Kingdom
Extensible NPL ALgol 60
BALSA
1998
United Kingdom
Baroque
1972
United Kingdom
Logic programming language
Barron Conversational Fortran
1971
United Kingdom
Bartok
2001
United Kingdom
BAS
1962
Excluded from Sammet
Symbolic assemblers
United Kingdom
Symbolic assembler for the ATLAS
BASAL
1984
United Kingdom
Basic Pop
0
Stack
United Kingdom
Pop on the Eliot 90
BASIX 1
1984
United Kingdom
BASIX 2
1984
United Kingdom
BASYS
1968
Multi-purpose
Scientific Basics
United Kingdom
Extended BASIC
BCL
1966
Business Data Processing
Other DPLs
United Kingdom
Commercial language for the Atlas
BCPL
1967
Multi-purpose
CPL, BCPL and B
United Kingdom
Basic CPL
BCS Query Language
1980
Business Data Processing
Network DB
United Kingdom
BEDSOCS
1973
Process interaction
United Kingdom
Behaviour Algebra
1978
United Kingdom
BER
1988
Specialised Languages
United Kingdom
Basic Encoding Rules
Birtwhistle GPSSS
1973
United Kingdom
BMF
1990
United Kingdom
Boole
1848
Symbolic
United Kingdom
Brilliant
1968
Markovs
United Kingdom
Brisk
1995
United Kingdom
Brooker Autocode
1953
Multi-purpose
Early Autocodes
United Kingdom
Machester Mark I autocode
Brooker/Morris syntax language
1960
Specialised Languages
Grammar and Syntax-oriented
United Kingdom
Phrase structure language to create MERCURY Autocode
BS12
1978
United Kingdom
BUGS
1996
Specialised Languages
Bayesian
United Kingdom
Bayesian inference Using Gibbs Sampling
BUILD
1973
Specialised Languages
3d shape
United Kingdom
Solid modelling language
Burge
1975
United Kingdom
Burley linear algebra
1967
Algebraic
United Kingdom
CABAL
1997
United Kingdom
Parallel CAMAL to run on supercomputers
CAFE
1974
United Kingdom
Job Control Language
CAJOLE
1978
Business Data Processing
United Kingdom
Westfield dataflow language
CALD
1967
2D Spreadsheets
United Kingdom
CAD input system
CAMAL
1968
Numerical Scientific
Algebraic
United Kingdom
CAMbridge ALgebra system
CAMAS
1995
United Kingdom
Cambridge LCF
1982
United Kingdom
Cameron chemical language
1968
Chemical formula languages
United Kingdom
Chemical engineering language
CAPS
1964
Specialised Languages
Process interaction
United Kingdom
Precursor of CSL
CAPS
1966
Specialised Languages
CASE languages
United Kingdom
CASE language
Cartoon Design
1970
United Kingdom
CCLU
1988
Multi-purpose
United Kingdom
Cambridge CLU
CCS
1980
United Kingdom
Calculus of Communicating Systems
CCSP
1986
United Kingdom
CDLM
1973
HDLs
United Kingdom
Manchester CDL
CEIR Commercial Coder
1963
Business Data Processing
Early Autocodes
United Kingdom
Commercial autocode from CEIR
Cesil
1974
United Kingdom
CHARM
1990
United Kingdom
CHLF
1962
Multi-purpose
Early Autocodes
United Kingdom
Extension of Mercury Autocode to run on IBM 7090
CHLF3
1962
Multi-purpose
Early Autocodes
United Kingdom
Multi-establishment ATLAS Autocode
CHR
1996
United Kingdom
City University Conversational Fortran
1968
United Kingdom
CLAM
1992
United Kingdom
CLAM
1963
Specialised Languages
Numerical Control
United Kingdom
NC language for Ferranti
CLAM
1971
Non-numerical Scientific
United Kingdom
CLEF
1985
United Kingdom
CLEO
1963
Multi-purpose
2G Autocodes
United Kingdom
Autocode for EE LEO computers
CLIC
1968
United Kingdom
Clowes
1965
Syntactical descriptions
United Kingdom
Picture grammar
COBALG
1976
United Kingdom
Algebraic system
COBOL Narrator EE
1961
Business Data Processing
COBOL-60
United Kingdom
English Electric version of RCA COBOL
COBRA
1973
Macros
United Kingdom
Macro extension system for COBOL
COCOA
1968
String and List Processing
Text analysis
United Kingdom
Language for literary analysis
COCOMAT
1967
Specialised Languages
Numerical Control
United Kingdom
CODEL
1959
Business Data Processing
Early Autocodes
United Kingdom
Autocoder from ICT
CODIL
1970
Business Data Processing
Other DPLs
United Kingdom
Context-sensitive Information Manipulation language
Colin conversational language
1966
On-Line
Arithmetic
United Kingdom
Compiler-Compiler
1963
Macros
United Kingdom
Atlas compiler generator
COMPL
1966
COBOL coeval
United Kingdom
CONA
1977
On-Line
True ALGOL60s
United Kingdom
Conversational Algol
CON-A
1978
On-Line
United Kingdom
Conversational Algol
COPAS
1981
On-Line
Pascals
United Kingdom
Conversational Pascal
CORAL
1963
Specialised Languages
Other UK historic languages
United Kingdom
English military realtime language
CORAL 64
1964
Specialised Languages
Other UK historic languages
United Kingdom
Radar Establishment Systems Language
CORAL 66
1966
Multi-purpose
Other UK historic languages
United Kingdom
Realtime English military language
COSMOS
1967
Specialised Languages
Statistical
United Kingdom
Courtauld statistical system
Cospol
1981
Multi-purpose
United Kingdom
Dialect of CSP
COSY
1979
Specialised Languages
Graph
United Kingdom
COWSEL
1964
Stack
United Kingdom
CPL
1991
Specialised Languages
United Kingdom
Categorical Programming Lanugage
CPL
1963
Multi-purpose
CPL Algols
United Kingdom
Combined Programming Language
CPL1
1965
Multi-purpose
CPL, BCPL and B
United Kingdom
Implemented subset of CPL
CPM
1972
Specialised Languages
United Kingdom
POL for CPM
cProgol
1995
Specialised Languages
United Kingdom
C-Prolog
1985
String and List Processing
Horn clause
United Kingdom
CRESTS
1966
Business Data Processing
Decision tables
United Kingdom
Courtaulds Rapid Extract, Sort and Tabulate System
Criterion COBOL Compiler
1973
Business Data Processing
COBOL-68
United Kingdom
NCR Cobol
CSL
1975
United Kingdom
CSL
1966
Specialised Languages
Activity scanning
United Kingdom
Control and Simulation Language
CSL 2
1966
Specialised Languages
Activity scanning
United Kingdom
Version 2 of CSL
CSP
1978
United Kingdom
Communicating Sequential Processes
CSP/80
1980
United Kingdom
CSP-S
1987
United Kingdom
DACTL
1987
Intermediate languages and VMs
United Kingdom
Declarative Alvey Compiler Target Language
Dactl0
1987
United Kingdom
Dakin
1975
Command systems
United Kingdom
Generalised Job Control Language
DAP Fortran
1975
Numerical Scientific
Non Standard FIV
United Kingdom
Parallel fortran
DARK BASIC
1997
United Kingdom
DASH
1967
String and List Processing
Patterns
United Kingdom
String patters in ALGOL 60
Dataplan
1993
United Kingdom
Day state transitions
1970
Specialised Languages
State transition tables
United Kingdom
Transistion table system
DECTAT
1974
Business Data Processing
Decision tables
United Kingdom
Decision table generator
DEMOS
1978
Specialised Languages
Process interaction
United Kingdom
Extensions to Simula
DEMOS 2000
2000
United Kingdom
DEUCE Autocode
1956
Multi-purpose
Early Autocodes
United Kingdom
Autocode for EE DEUCE
Diamond
1968
Markovs
United Kingdom
DL1
1981
United Kingdom
DOLPHIN
1970
United Kingdom
DPL
1977
Numerical Scientific
Arithmetic
United Kingdom
Mathematical interaction language
DRAGOON
1989
Multi-purpose
United Kingdom
Duration Calculus
1991
United Kingdom
Dylan
1992
United Kingdom
Easicode
1960
Excluded from Sammet
Early Autocodes
United Kingdom
Autocode for the DEUCE
EAST
1994
United Kingdom
ECL-1
1969
Experimental and other
Interface and windowing
United Kingdom
Environment Control Language
ECLIPSE
1995
United Kingdom
ECRC-Prolog
1986
String and List Processing
Horn clause
United Kingdom
ECSL
1966
Specialised Languages
Activity scanning
United Kingdom
Extended Continuous Simulation Language
EDDI
1999
United Kingdom
Edinburgh LCF
1979
United Kingdom
Edinburgh ML
1985
United Kingdom
Edinburgh Prolog
1985
String and List Processing
Horn clause
United Kingdom
EDSAC Autocode
1953
Excluded from Sammet
Early Autocodes
United Kingdom
Autocode for EDSAC 2
EDSAC Initial Orders
1948
Excluded from Sammet
Initial orders
United Kingdom
First ever assembler system
EDSIM
1977
String and List Processing
Activity scanning
United Kingdom
EDUCE
1986
United Kingdom
EE PL/I
1967
Other PL/Is
United Kingdom
PL/I compiler for the EE computers
EGDON
1964
Other UK historic languages
United Kingdom
EGTRAN
1965
Fortran I-III Variants
United Kingdom
EITL
1996
United Kingdom
ElipSys
1994
United Kingdom
ELLA
1979
United Kingdom
Elliot 401 Autocode
1955
Excluded from Sammet
Autocode Coeval
United Kingdom
Elliot Bros Autocode
Elliot 803 Macrogenerator
1967
Macros
United Kingdom
803 macro language
Elliot Mark II AUTOCODE
1961
Multi-purpose
Early Autocodes
United Kingdom
Version II of the Elliot Autocode
Elliott ALGOL
1960
Numerical Scientific
True ALGOL60s
United Kingdom
Hoare's seminal ALGOL 60
Elliott Autocode
1960
Multi-purpose
Early Autocodes
United Kingdom
Elliott Brothers Autocoder
Elliotts
1960
COBOL coeval
United Kingdom
Commercial Autocode from Elliot Bros
ELSIE
1991
United Kingdom
EMA
1964
Multi-purpose
Early Autocodes
United Kingdom
Extended Mercury Autocode
EMAS LOGO
1977
United Kingdom
EMIDEC Algol
1961
True ALGOL60s
United Kingdom
EMIDEC Business System
1960
United Kingdom
Business autocode for the EMIDEC computers
EMIDEC LISP
1962
United Kingdom
EML
1985
United Kingdom
ML Specification language
Epigram
1999
United Kingdom
dependently typed functional programming language
EPL
1978
Multi-purpose
United Kingdom
Experimental Programming Language
Escher
1995
United Kingdom
ESEL
1994
United Kingdom
ESP
1964
Specialised Languages
Activity scanning
United Kingdom
Elliot Bros simulator package
EuLisp
1985
String and List Processing
Lazy Evaluation LISPs
United Kingdom
European LISP standard
EXCHLF
1966
Multi-purpose
2G Autocodes
United Kingdom
Extension of CHLF3 for ATLAS
Extended Autocode
1962
Multi-purpose
Early Autocodes
United Kingdom
Autocode optimised
extended Tempura
1996
United Kingdom
F-code
1985
United Kingdom
Feel
1993
United Kingdom
F-HYBRID
1987
United Kingdom
Fickle
2000
United Kingdom
Fickle-99
1999
United Kingdom
FIGARO
1967
On-Line
Generation of JOSS I
United Kingdom
JOSS at Cambridge
FILECODE
1963
COBOL coeval
United Kingdom
Commercial autocode
FILETAB
1966
Business Data Processing
Decision tables
United Kingdom
Automatic FILE TABulator
FIND 2
1970
United Kingdom
FLIC
1987
Specialised Languages
United Kingdom
Intermediate level language for functional programs
Flocoder
1971
Specialised Languages
2-D Graphic Languages
United Kingdom
Flowchart-based languages
FOIL
1989
United Kingdom
Free
1993
United Kingdom
FTLL
1996
United Kingdom
GAL
1989
Specialised Languages
United Kingdom
Graphical equivalent of Pascal
GAS
1969
United Kingdom
Reporting system
GCL
1995
United Kingdom
Genie Control Language
GdH
2000
United Kingdom
GENIE
1972
Business Data Processing
Other DPLs
United Kingdom
ICL 4GL
GENTRAN
1971
FORTRAN IV standard
United Kingdom
Dialect of FORTRAN for the GENESYS system
Ghoul
1964
United Kingdom
GIN
1968
Macroassemblers
United Kingdom
Ginger
1992
Specialised Languages
United Kingdom
Simple functional language with parallel constructs
GINO
1969
Specialised Languages
2d shape
United Kingdom
GINO-F
1975
Specialised Languages
United Kingdom
GIP
1956
Multi-purpose
Early Autocodes
United Kingdom
Interpretive autocode for DEUCE
GLIDE
1986
United Kingdom
GLIM
1988
United Kingdom
glue
1973
United Kingdom
Goedel
1994
United Kingdom
Gofer
1991
United Kingdom
GOLUX
1974
Specialised Languages
United Kingdom
GpH
2001
Experimental and other
United Kingdom
Glasgow parallel Haskell
GPM
1965
String and List Processing
Macros
United Kingdom
General Purpose Macro-generator
GRAAP
1976
String and List Processing
Graph
United Kingdom
GRaph Algorithmic Applications Package
GROATS
1969
Geometric
United Kingdom
Graphical extensions to A60
GSP
1957
Specialised Languages
Activity scanning
United Kingdom
General Simulation Program
GSP II
1962
Specialised Languages
Process interaction
United Kingdom
General Simulation Program
GULP
1968
Grammar and Syntax-oriented
United Kingdom
GUM
1996
United Kingdom
Gypsy
1962
United Kingdom
Emidec autocode
Hank
1996
United Kingdom
HARTRAN
1961
Numerical Scientific
Fortran I-III Variants
United Kingdom
Harwell FORTRAN
Hasal
1976
United Kingdom
HASL
1982
United Kingdom
Hatfield Basic
1971
Dartmouth Basics
United Kingdom
Teaching Basics
HIBOL
1980
Business Data Processing
United Kingdom
Infotec DIBOL
HiPPO
2004
2-D Graphic Languages
United Kingdom
Hoare super-structured Algol
1972
Experimental and other
True ALGOL60s
United Kingdom
Algol with sets, subsets, orders etc
Hocus Pocus
1971
Specialised Languages
Process interaction
United Kingdom
Algol based simulation language
HOL
1985
United Kingdom
Higher Order Logic
HOL-88
1988
United Kingdom
HOL-90
1990
United Kingdom
HOPE
1978
United Kingdom
Hope+
1988
Experimental and other
United Kingdom
Hope++
1990
United Kingdom
Hope+C
1994
United Kingdom
HSQL
1993
United Kingdom
HTAB
1972
United Kingdom
HUGS
1996
United Kingdom
Glasgow Haskell
HUGS.NET
2000
United Kingdom
Hull
1940
Symbolic
United Kingdom
IB-Templog
1987
United Kingdom
IC Prolog ][
1992
String and List Processing
Horn clause
United Kingdom
ICL
1994
On-Line
United Kingdom
Interactive Control Language
ICL-Pascal
1984
Pascals
United Kingdom
Pascal extended for mainframe programming
IC-Prolog
1979
String and List Processing
Horn clause
United Kingdom
ICT COBOL
1960
Business Data Processing
COBOL-60
United Kingdom
Basic COBOL 60 from ICT
IDMSX
1976
United Kingdom
IMP
1966
Multi-purpose
3G Autocodes
United Kingdom
IMProved Autocode
IMP 1.5
1970
Multi-purpose
Early Autocodes
United Kingdom
IMP 2
1974
Multi-purpose
Early Autocodes
United Kingdom
IMP 2.2
1976
Multi-purpose
Early Autocodes
United Kingdom
IMP 77
1977
Multi-purpose
Early Autocodes
United Kingdom
IMP 80
1980
Multi-purpose
Early Autocodes
United Kingdom
Indlog
1996
United Kingdom
INTCODE
1972
Initial orders
United Kingdom
INTERCODE
1957
Multi-purpose
Early Autocodes
United Kingdom
Mark I* Autocode
Intrinsic
1959
United Kingdom
Isabelle
1988
United Kingdom
Isabelle/HOL
1997
United Kingdom
Isabelle-92
1992
United Kingdom
ISBL
1974
RDBMs
United Kingdom
IBM Peterlee experimental relational algebra
ISETL-Linda
1995
Set
United Kingdom
parallel language
ISWIM
1966
Other lambda
United Kingdom
Landin's paper language
ITL
1981
United Kingdom
JEAN
1968
On-Line
Generation of JOSS I
United Kingdom
K AUTOCODE
1964
Multi-purpose
Early Autocodes
United Kingdom
ADvance autocode for KDF9
KALDAS
1966
Analog
United Kingdom
Kaleidoquery
1998
United Kingdom
KDF9 DPS
1963
Business Data Processing
COBOL coeval
United Kingdom
KDF9 data processing system
Kernel Parlog
1985
United Kingdom
Kidsgrove Algol
1963
Numerical Scientific
True ALGOL60s
United Kingdom
KRC
1981
United Kingdom
Kent Recursive Calculator
L
1967
Specialised Languages
Multiline
United Kingdom
Multiple line function generator
L
1970
String and List Processing
Macros
United Kingdom
L&O
1992
United Kingdom
Language H
1962
Business Data Processing
COBOL coeval
United Kingdom
Simplified general purpose business language
LAPSE
1978
United Kingdom
Single assignment language
LCF
1972
Symbolic
United Kingdom
Logic for Computable Functions
LEGO
1992
United Kingdom
LEO Intercode
1961
Multi-purpose
Other DPLs
United Kingdom
Intercode for LEO III
L-HYBRID
1986
United Kingdom
LIMP
1979
United Kingdom
Language for Implementing Messages and Protocols
LIMPET
1979
United Kingdom
Subset of LIMP
LindaLISP
1990
String and List Processing
Lazy Evaluation LISPs
United Kingdom
Lispkit Lisp
1978
String and List Processing
Lazy Evaluation LISPs
United Kingdom
LITHP
1963
List
United Kingdom
LO
1990
Specialised Languages
United Kingdom
Linear Objects
LOGAL
1983
United Kingdom
Lovelace and Babbage
1843
Excluded from Sammet
Symbolic
United Kingdom
LOWL
1970
Specialised Languages
Intermediate languages and VMs
United Kingdom
LP/90
1961
Optimisation and LP
United Kingdom
Linear Programming 90
LP/94
1961
United Kingdom
Lucinda
1991
United Kingdom
LUNAC
1970
United Kingdom
MacParlog
1988
United Kingdom
MACROGENERATOR
1972
String and List Processing
Macros
United Kingdom
Magik
1999
Specialised Languages
United Kingdom
Manchester Autocode
1960
Early Autocodes
United Kingdom
Mast
1990
Specialised Languages
Expression oriented
United Kingdom
Continuous simulations language
MATRIX
1955
Specialised Languages
Matrix
United Kingdom
Ferranti Matrix Interpretive Scheme
MAX
1977
United Kingdom
MAXIMOP
1974
United Kingdom
MCOBOL
1980
Business Data Processing
United Kingdom
Macro extensions to COBOL
MCPL
1999
Multi-purpose
CPL, BCPL and B
United Kingdom
Matching CPL
Megalog
1991
United Kingdom
Memotech MTX Basic
1984
Multi-purpose
Street basics
United Kingdom
BASIC for Memotech computer
Mercury Assembler
1964
Symbolic assemblers
United Kingdom
Mercury Autocode
1958
Multi-purpose
Early Autocodes
United Kingdom
Autocode for the Ferranti MERCURY computer
METAWSL
1994
United Kingdom
me-too
1984
Specialised Languages
Interface and windowing
United Kingdom
Functional language for executable specifications
MICA
1978
Excluded from Sammet
United Kingdom
MicroCODIL
1988
United Kingdom
MILMAP
1967
Specialised Languages
Numerical Control
United Kingdom
MIN0
1981
United Kingdom
MIN1
1982
United Kingdom
Mini-COBOL
1969
Business Data Processing
COBOL-68
United Kingdom
Teaching dialect of COBOL
MINIJOSS
1967
Generation of JOSS II
United Kingdom
RAEF JOSS
MINIMOP Command Language
1970
United Kingdom
MINT
1980
United Kingdom
Miracula
1991
United Kingdom
Miranda
1985
Specialised Languages
Lazy Evaluation FPs
United Kingdom
MIRFAC
1962
Specialised Languages
Multiline
United Kingdom
2dimensional maths compiler
ML
1973
Strict evaluation FPs
United Kingdom
Meta Language
ML/I
1967
Macros
United Kingdom
MLS
1967
2G Autocodes
United Kingdom
Mixed Language System
MLYACC
1975
Grammar and Syntax-oriented
United Kingdom
Modula-P
1992
United Kingdom
Parallel Modula 2
Modula-R
1992
United Kingdom
Modular Prolog
1992
String and List Processing
Horn clause
United Kingdom
MONTECODE
1962
Specialised Languages
Monte Carlo
United Kingdom
Interpreter Monte Carlo simulations language
MRC Picture Language
1968
Specialised Languages
Cell-based
United Kingdom
Language for analysis and manipulation of images
MU5 Autocode
1975
Multi-purpose
3G Autocodes
United Kingdom
Autocode for Machester MU5 computer
MUDDL
1985
Specialised Languages
Game languages
United Kingdom
MUD language
muFP
1984
Specialised Languages
Polymorphic
United Kingdom
VLSI functional language
Multipop
1994
United Kingdom
Hybrid Operating System and Programming Language
MUSYS
1969
Specialised Languages
Sound-control
United Kingdom
Systems language for the EMS studio
MVC
1972
Statistical
United Kingdom
Multiple Variate Counter
Napier
1985
United Kingdom
NAPIER 88
1988
Specialised Languages
United Kingdom
NEATA
1971
United Kingdom
NEBULA
1960
COBOL coeval
United Kingdom
Ferranti business autocode
NELAPT
1968
Numerical Control
United Kingdom
CNC language
NEPAL
1981
United Kingdom
NETREXX
1997
United Kingdom
Network Control Language
1978
United Kingdom
Language for explicit control of networks
Nicholas coding scheme
1953
Excluded from Sammet
Early Autocodes
United Kingdom
Autocode for the Nicholas system
NICOL
1967
Business Data Processing
COBOL coeval
United Kingdom
NIneteen hundred COmmercial Language
NITA
1967
Specialised Languages
Decision tables
United Kingdom
Decision table language
NNL2
1977
United Kingdom
Noddy
1984
String and List Processing
Response languages
United Kingdom
REsponse language for Memotech
Nonpareil
1968
Markovs
United Kingdom
NPL
1977
String and List Processing
United Kingdom
New Pattern Language
N-Prolog
1985
String and List Processing
Horn clause
United Kingdom
NUA-Prolog
1991
String and List Processing
Horn clause
United Kingdom
Extension to the WAM for Parallel Andorra
NYU Compiler System
1954
Numerical Scientific
Other US historic
United Kingdom
Early NY compiler
OBLIQ
1993
Specialised Languages
Actor
United Kingdom
OO language for distributed objects
Occam
1982
Multi-purpose
Pascals
United Kingdom
Parallel Wirth Algol for Transputers
Occam 2
1987
United Kingdom
Improved version of Occam
Occam 2.1
1990
Multi-purpose
United Kingdom
Improved Occam 2
Occam 3
1992
United Kingdom
OCODE
1971
United Kingdom
OOZE
1992
United Kingdom
OPAL
1960
Business Data Processing
Flat DB
United Kingdom
CEIR data processing language
Orion FORTRAN
1963
Numerical Scientific
Fortran I-III Variants
United Kingdom
Rutherford Labs FORTRAN
ORPHEUS
1963
Specialised Languages
Sound-Performance
United Kingdom
Earlier copmuter music language
Orwell
1988
United Kingdom
OWHY
1969
Other lambda
United Kingdom
P4 Pascal
1982
Multi-purpose
Pascals
United Kingdom
Pemberton and Daniels Pascal
ParaDE
1997
United Kingdom
Parallel SML
1990
United Kingdom
Parlog
1983
United Kingdom
Parlog++
1988
United Kingdom
Parlog83
1983
United Kingdom
Parlog86
1986
United Kingdom
Pascal (BS)
1982
Multi-purpose
Pascals
United Kingdom
PASCAL/M
1981
Multi-purpose
Pascals
United Kingdom
Pascal with Modula Modules
Pascal-FC
1990
Multi-purpose
Pascals
United Kingdom
Pascal-Linda
1991
Multi-purpose
Pascals
United Kingdom
PCF
1977
United Kingdom
PC-Parlog
1989
United Kingdom
Pearl
1968
Markovs
United Kingdom
Pebble
1984
United Kingdom
Pegasus AUTOCODE
1959
Excluded from Sammet
Early Autocodes
United Kingdom
Autocode for the Pegasus system
Pegasus function interpreter
1959
Specialised Languages
Algebraic
United Kingdom
Algebraic system for the Pegasus
PENNY
1967
Text analysis
United Kingdom
Document analysis language
Perfect
1997
United Kingdom
PFL
1990
United Kingdom
Persistent Functional Language
Phoenix
1975
Specialised Languages
Command systems
United Kingdom
Command language for IBM at Cambridge
Pi Calculus
1991
United Kingdom
PICT
1991
United Kingdom
PILE
1983
United Kingdom
PIMP
1985
Multi-purpose
Early Autocodes
United Kingdom
Persistent IMP
PIXIN
1974
United Kingdom
PIZZA
1997
United Kingdom
PJama
1987
United Kingdom
PL/I Checkout Compiler
1972
Multi-purpose
IBM PL/Is
United Kingdom
PL316
1973
PL-360s
United Kingdom
316 port of PL-360
PL516
1970
Specialised Languages
PL-360s
United Kingdom
Plasyd
1965
Specialised Languages
PL-360s
United Kingdom
ICL systems language
POEM
1985
United Kingdom
OO extension to Prolog
POLKA
1988
United Kingdom
Poly
1982
United Kingdom
Polymorphic Programming Language
Poly
1984
United Kingdom
POMS
1990
United Kingdom
POP++
1996
United Kingdom
POP-1
1966
String and List Processing
Stack
United Kingdom
Pop-11
1975
United Kingdom
POP-2
1967
Lazy Evaluation FPs
United Kingdom
The first true functional language
POPCORN
1973
United Kingdom
POPLER
1971
String and List Processing
United Kingdom
Hybrid of PLANNER and POP-2
POPLOG
1992
United Kingdom
POPPY
1968
Stack
United Kingdom
POP-2 for the PDP-11
Post-X
1980
String and List Processing
United Kingdom
PPL
1978
Specialised Languages
Pascals
United Kingdom
portable systems language
PPLambda
1987
United Kingdom
Principia Mathematica
1908
Excluded from Sammet
Symbolic
United Kingdom
R & W symbolic treatment of maths
PROFILEDATA
1967
Numerical Control
United Kingdom
Progol
1993
Experimental and other
United Kingdom
Program Synthesis
1978
United Kingdom
Prolog-2
1990
String and List Processing
Horn clause
United Kingdom
PROPLAN
1977
United Kingdom
PROTOL
1970
External systems control
United Kingdom
Process control language
PROTRAN
1968
External systems control
United Kingdom
Process control language
PRTV
1976
United Kingdom
PS-ALGOL
1981
Numerical Scientific
True ALGOL60s
United Kingdom
Persistent Algol
PSYCHOL
1968
Experimental and other
Experiment control and recording
United Kingdom
language for psychological experimentation
PUFS
1963
Business Data Processing
United Kingdom
NPL for files
Q
1988
United Kingdom
QIL
1992
United Kingdom
Quintec Prolog
1991
String and List Processing
Horn clause
United Kingdom
Quintec-Objects
1991
United Kingdom
RAL
1950
Excluded from Sammet
Initial orders
United Kingdom
Regional Assembly Language
RAPIDWRITE
1962
Business Data Processing
COBOL-60
United Kingdom
Simplified COBOL dialect
RAPT
1977
Specialised Languages
Robotics
United Kingdom
Edinburgh robotics language
RBCSP
1981
United Kingdom
RCC
1967
Multi-purpose
Macros
United Kingdom
User-extensible systems language
Reaction Handler
1967
Experimental and other
Experiment control and recording
United Kingdom
Control language for experimentation
Realtime Algol
1967
True ALGOL60s
United Kingdom
Relational Language
1981
United Kingdom
REXX
1979
String and List Processing
United Kingdom
Ring Fortran
1970
Ring
United Kingdom
Ring-storage package for Fortran
RLB
1963
Intermediate languages and VMs
United Kingdom
Robinson Unification Logic
1969
Horn clause
United Kingdom
ROKDOC
1970
Statistical
United Kingdom
Rothamsted autocode
1960
Numerical Scientific
Early Autocodes
United Kingdom
Analytical and statistical autocode
RPL 11 B
1977
United Kingdom
Report preparation language
RPL 11M
1978
United Kingdom
RS Algol
1979
Numerical Scientific
True ALGOL68s
United Kingdom
RTL
1971
United Kingdom
RTL/1
1971
United Kingdom
Implementation ofRTL/I
RTL/2
1972
Partial A68 only
United Kingdom
real-time language based on ALGOL 68
Ruby
1968
Markovs
United Kingdom
S1
1961
Numerical Scientific
Fortran I-III Variants
United Kingdom
Harwell FORTRAN II
S3
1994
United Kingdom
S3 Fortran
1963
Numerical Scientific
Fortran I-III Variants
United Kingdom
Stretch Fortran
SAL
1968
Algebraic
United Kingdom
Simple Algebraic Language
SAL
1990
Specialised Languages
United Kingdom
SPARK Annotation Language
S-Algol
1979
Numerical Scientific
True ALGOL60s
United Kingdom
St Andrew's Algol
SAM
1966
Specialised Languages
Expression oriented
United Kingdom
Continuous Simulation Language
SASL
1976
United Kingdom
Initial SASL (strict)
SASL (2nd version)
1972
Polymorphic
United Kingdom
Lazy evaluation SASL
SASL+LV
1987
United Kingdom
SASL-YACC
1985
United Kingdom
sceptic 3
1989
Experimental and other
United Kingdom
sceptic 4
1993
Experimental and other
United Kingdom
SCHEMAL
1983
United Kingdom
Scheme-Linda
1990
United Kingdom
SCL
1980
Specialised Languages
United Kingdom
Command language for the VME/B
SDML
1993
United Kingdom
Simulations modelling language
SEAL
1961
Business Data Processing
COBOL coeval
United Kingdom
Business relative language
SECD
1964
Other lambda
United Kingdom
SEP
1965
Multi-purpose
Early Autocodes
United Kingdom
Sequel
0
United Kingdom
Theorem prover specification language
Sequential Pascal
1970
Multi-purpose
Pascals
United Kingdom
Simplified Pascal with monitors
SESPOOL
1977
Multi-purpose
True ALGOL60s
United Kingdom
Simple Extensible Systems PrOgramming Oriented Language
Sictran
1967
Specialised Languages
Intermediate languages and VMs
United Kingdom
Machine independent assembler
SIMBOL
1971
Symbolic
United Kingdom
ICL SIMulated Boolean Oriented Language
SIMON
1963
Specialised Languages
Process interaction
United Kingdom
Algol-based simulation language
Simon 75
1975
Specialised Languages
Event scheduling
United Kingdom
GPSS based Simula dialect
SIMON II
1965
Specialised Languages
Process interaction
United Kingdom
Algol-based simulation language
Simplified Type Theory
1924
Symbolic
United Kingdom
SIMUL
1973
United Kingdom
SIRIUS Autocode
1961
Numerical Scientific
Early Autocodes
United Kingdom
Autocode for the Ferranti Sirus
SISAL
1983
United Kingdom
Streams and Iteration in a Single Assignment Language
SKIMP
1975
Multi-purpose
Early Autocodes
United Kingdom
Teaching subset of IMP
S-LONLI
1986
United Kingdom
SLP
1966
String and List Processing
List
United Kingdom
simple list processing
SLPL
1976
String and List Processing
United Kingdom
Simple list processing language
SMIR
1968
United Kingdom
SML
1976
United Kingdom
System Modelling Language
SML
1969
Other Algol 60s
United Kingdom
Small Machine Language
SML
1984
United Kingdom
Standard ML
SNAP
1965
Experimental and other
Macros
United Kingdom
SOL
1974
Semantic
United Kingdom
Semantic Operating Language
SOL/P350
1970
United Kingdom
SOLO
1983
United Kingdom
SPARK
1990
Multi-purpose
United Kingdom
Provable Ada
SPARK95
1999
Multi-purpose
United Kingdom
Provable Ada95
S-Pascal
1980
United Kingdom
SPECOL
1968
Business Data Processing
Ad hoc query languages
United Kingdom
Querying language
SPG
1970
String and List Processing
Macros
United Kingdom
SPG
1975
United Kingdom
SPI
1987
Specialised Languages
Interface and windowing
United Kingdom
Interface definition language based around CSP and me-too
Spice
2002
Multi-purpose
United Kingdom
SPL
1967
United Kingdom
SPM
1972
United Kingdom
S-Snobol
1978
String and List Processing
United Kingdom
Structured SNOBOL
STAC
1956
Macroassemblers
United Kingdom
Symbolic macroprocessor for DEUCE
STATUS
0
Business Data Processing
Information Retrieval
United Kingdom
Query language
STEVE
1959
Excluded from Sammet
Early Autocodes
United Kingdom
Symbolic language for the DEUCE
Sticks&Stones
1982
United Kingdom
Sticks&Stones II
1990
United Kingdom
Stockbrokers' Language
1968
United Kingdom
Strand
1987
United Kingdom
Strand88
1988
Multi-purpose
United Kingdom
Commercialisation of Strand
STREMA
1976
United Kingdom
conversational graphic language for application processes based on streams
STRICT
1985
United Kingdom
SuperBasic
1984
Specialised Languages
United Kingdom
SUPERMAC
1979
String and List Processing
United Kingdom
Embeddable macroprocessor
SYSTEMATICS
1972
Business Data Processing
Decision tables
United Kingdom
Decision table based systems language
T3 Fortran
1965
Numerical Scientific
Fortran I-III Variants
United Kingdom
Titan Fortran III
TAB 4
1969
United Kingdom
TAB-360
1974
Decision tables
United Kingdom
TABLEMASTER
1974
United Kingdom
TABN
1974
United Kingdom
Decision table pogram
TALK
1963
Business Data Processing
True ALGOL60s
United Kingdom
EE Commercial Autocode
Tangram
1996
United Kingdom
TAP
1967
Business Data Processing
Decision tables
United Kingdom
Decision table language
TASS
1973
Excluded from Sammet
Assemblers
United Kingdom
Intermediate language produced by the Manchester SISAL compiler
TDF
1992
United Kingdom
TenDRA Distribution Format
TELOS
1990
United Kingdom
Tempura
1985
United Kingdom
Ten15
1986
United Kingdom
TEXTFOR
0
United Kingdom
THAT
1964
Specialised Languages
Individual
United Kingdom
British simulation language
Timed CSP
1986
United Kingdom
Extension of CSP to include timing constructs
TIP
1957
Business Data Processing
Decision tables
United Kingdom
Tabular Interpretive Autocode for the DEUCE
TITAN Autocode
1958
Multi-purpose
Early Autocodes
United Kingdom
Macro autocode TITAN
TLISP
1992
String and List Processing
Lazy Evaluation LISPs
United Kingdom
TODL
1996
Specialised Languages
United Kingdom
TREAC Autocode
1952
Multi-purpose
Early Autocodes
United Kingdom
RWRE Autocode
TREC
1964
Specialised Languages
External systems control
United Kingdom
Interactive control system for reactors
TSQL
1994
United Kingdom
TSQL2
1996
United Kingdom
Tuki
1986
Specialised Languages
Intermediate languages and VMs
United Kingdom
Turing autocode
1952
Excluded from Sammet
Autocode Coeval
United Kingdom
Turing
UFO
1992
United Kingdom
United Functions and Objects
UK FORTRAN
1963
Numerical Scientific
Fortran I-III Variants
United Kingdom
UMIST-OBJ
1987
United Kingdom
Usercode
1963
Multi-purpose
Early Autocodes
United Kingdom
Autocode for the KDF9
value-passing CCS
1988
United Kingdom
Van Emden and Kowalsi extended Prolog
1974
United Kingdom
Vector PASCAL
1998
Multi-purpose
Pascals
United Kingdom
Vorlon
1999
United Kingdom
VSPL
2000
United Kingdom
Whetstone Algol
1964
Numerical Scientific
True ALGOL60s
United Kingdom
Williams
1948
Excluded from Sammet
Initial orders
United Kingdom
Proto-index register for the Manchester Copmuter
WISP
1964
String and List Processing
Macroassemblers
United Kingdom
Macro-based list processing language
Woodger
1937
Symbolic
United Kingdom
WSL
1989
United Kingdom
Wide Spectrum Language
XALT
1966
United Kingdom
XEHM
1970
Business Data Processing
Decision tables
United Kingdom
XSB
1993
United Kingdom
youtoo
1994
Specialised Languages
Lazy Evaluation LISPs
United Kingdom
2nd generation EULisp
Z
1980
United Kingdom
Z++
1990
United Kingdom
ZCCS
1997
United Kingdom
ZERO
1992
United Kingdom
ZEST
1992
United Kingdom
ZX Cesil
1980
United Kingdom
ZX Cesil 2
1983
United Kingdom