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