What type of programming language was created by Tony Hoare and can be seen implemented in the Elliot ALGOL complier?
245f739fa9908f9aa982d8edc3cb225b
Elliott ALGOL Elliott ALGOL was an ALGOL 60 compiler for the Elliott 803 computer. It was implemented by Tony Hoare and others. It differed slightly from the reference version of Algol, particularly in the supported character set. First released in February 1962, it is believed to be the first implementation of an ALGOL 60 compiler in a commercial context and was an unexpectedly popular product for the company.
e748b276e0eace61d81de24cfadac0a3
Tony Hoare Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1959/1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.
8c333a6c006e9954ba7b5001a42bd964
ALGOL W ALGOL W is a programming language. It is based on a proposal for ALGOL X by Niklaus Wirth and Tony Hoare as a successor to ALGOL 60 in IFIP Working Group 2.1. When the committee decided that the proposal was not a sufficient advance over ALGOL 60, the proposal was published as "A contribution to the development of ALGOL". After making small modifications to the language Wirth supervised a high quality implementation for the IBM/360 at Stanford University that was widely distributed.
64aabcf912ba83b082bff548169ad07e
General-purpose programming language In computer software, a general-purpose programming language is a programming language designed to be used for writing software in a wide variety of application domains (a general-purpose language). In many ways a general-purpose language only has this status because it does not include language constructs designed to be used within a specific application domain (e.g., a page description language contains constructs intended to make it easier to write programs that control the layout of text and graphics on a page).
1d1ec4715390d0892ea5f6227c99e6bb
E (programming language) E is an object-oriented programming language for secure distributed computing, created by Mark S. Miller, Dan Bornstein, and others at Electric Communities in 1997. E is mainly descended from the concurrent language Joule and from Original-E, a set of extensions to Java for secure distributed programming. E combines message-based computation with Java-like syntax. A concurrency model based on event loops and promises ensures that deadlock can never occur.
2d8ac48780e190b7ed93f6220ad40cf4
Erlang (programming language) Erlang ( ) is a general-purpose, concurrent, functional programming language, as well as a garbage-collected runtime system.
b1b285f78ae26026159ee34e103e6861
Real-time Programming Language Real-time Programming Language (RPL) is a compiled database programming language used on CMC/Microdata/McDonnell Douglas REALITY databases, derived and expanded from the PROC procedure language, with much extra functionality added. It was originally developed under the name "PORC" by John Timmons and Paul Desjardins in about 1975. "PORC" was then further developed by Tim Holland under the employ of George Ridgway's company Systems Management, Inc. (SMI) in Chicago. A number of large scale manufacturing applications were developed in RPL, including that which was in use at Plessey and GEC-Plessey Telecommunications limited in Liverpool and also the Trifid suite of manufacturing software.
b62d48792aaf29c76aa31dd63e56ca7c
Ruby (hardware description language) Ruby is a hardware description language created around 1990 intended to facilitate the notation and development of integrated circuits.
631d6f4460ea2c85381529d8fa62dcf2
Wolfram Language The Wolfram Language, a general multi-paradigm programming language developed by Wolfram Research, is the programming language of mathematical symbolic computation program Mathematica and the Wolfram Programming Cloud. It emphasizes symbolic computation, functional programming, and rule-based programming and can employ arbitrary structures and data.
5ca4adc33ec2818005b7148d1738f29d
Programming the Z80 Programming the Z80 is a seminal programming text, written by Rodnay Zaks and first published in 1979 by Sybex. It is designed as both an educational text to teach programming techniques of elementary to intermediate level using Assembly language, and as a self-contained reference book. Topics specific to the Zilog Z80 microprocessor, such as its internal hardware organisation and instruction set are described in detail. Additionally more general concepts, such as information representation and data structures are also covered. The book is considered an indispensable reference guide by many Z80 programmers. It was also published by Radio Shack with the title "How To Program The Z80". A companion volume Z80 "Applications" written by James W. Coffron was published in 1983 by Sybex.
a5db47747d811e63fc4dbb68550a0e8f
PROMAL PROMAL (PROgrammer's Microapplication Language) is a structured programming language from Systems Management Associates for MS-DOS, Commodore 64, and Apple II. PROMAL features simple syntax, no line numbers, long variable names, functions and procedures with argument passing, real number type, arrays, strings, pointer, and a built-in I/O library. Like ABC and Python, indentation is part of the language syntax.
55e03f0ae9b0b0c96948550d3f4a251a
Hoare logic Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.
dbcbfd3bb05b6c9bfc8fa777c1b04d8c
Sawzall (programming language) Sawzall is a procedural domain-specific programming language, used by Google to process large numbers of individual log records. Sawzall was first described in 2003, and the szl runtime was open-sourced in August 2010. However, since the MapReduce table aggregators have not been released, the open-sourced runtime is not useful for large-scale data analysis of multiple log files off the shelf.
94eb18aa4d6c1c91a3ba96d10b805f2e
M-expression In computer programming, M-expressions (or meta-expressions) were an early proposed syntax for the Lisp programming language, inspired by contemporary languages such as Fortran  and ALGOL. In particular, they did not feature the heavy use of parentheses for which Lisp became notorious.
473f712b2c11b5286510965dd3291346
EC (programming language) eC (Ecere C) is an object-oriented programming language, defined as a super-set of the C language.
2135b852e033bbe72fbaf37af25dcfba
XBase xBase is the generic term for all programming languages that derive from the original dBASE (Ashton-Tate) programming language and database formats. These are sometimes informally known as dBASE "clones". While there was a non-commercial predecessor to the Ashton-Tate product (Vulcan written by Wayne Ratliff), most clones are based on Ashton-Tate's 1986 dBASE III+ release — scripts written in the dBASE III+ dialect are most likely to run on all the clones.
dd6a1a9457daa7aa24fbb4be4da66a5e
TACPOL (programming language) TACPOL (Tactical Procedure Oriented Language) is a block structured programming language developed by the United States Army for the TACFIRE Tactical Fire Direction command and control application. TACPOL is similar to PL/I.
037f9e88f1411a75da35607975b19a90
Atlas Autocode Atlas Autocode (AA) was a programming language developed around 1965 at Manchester University. A variant of the ALGOL programming language, it was developed by Tony Brooker and Derrick Morris for the Atlas Computer.
8a6a6bdd17640e31c829f5e1523b3e5c
Fourth-generation programming language A fourth-generation programming language (4GL) is any computer programming language that belongs to a class of languages envisioned as an advancement upon third-generation programming languages (3GL). Each of the programming language generations aims to provide a higher level of abstraction of the internal computer hardware details, making the language more programmer-friendly, powerful and versatile. While the definition of 4GL has changed over time, it can be typified by operating more with large collections of information at once rather than focusing on just bits and bytes. Languages claimed to be 4GL may include support for database management, report generation, mathematical optimization, GUI development, or web development. Some researchers state that 4GLs are a subset of domain-specific languages.
0bfa4d920810f9302a276463ad8feffa
Integrated Language Environment The Integrated Language Environment (ILE) is a programming model developed by IBM for their AS/400 line of computers and remains an important part of the IBM i programming environment.
7b88130d280d95a864906f389c022e79
Procedural programming Procedural programming is a programming paradigm, derived from structured programming, based upon the concept of the "procedure call". Procedures, also known as routines, subroutines, or functions (not to be confused with mathematical functions, but similar to those used in functional programming), simply contain a series of computational steps to be carried out. Any given procedure might be called at any point during a program's execution, including by other procedures or itself. The first major procedural programming languages first appeared circa 1960, including Fortran, ALGOL, COBOL and BASIC. Pascal and C were published closer to the 1970s, while Ada was released in 1980. Go is an example of a more modern procedural language, first published in 2009.
9f4bd7d01f3eae75d55d9e7c3a33ca56
Typed assembly language In computer science, a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each value that is manipulated by the code. These annotations can then be used by a program (type checker) that processes the assembly language code in order to analyse how it will behave when it is executed. Specifically, such a type checker can be used to prove the type safety of code that meets the criteria of some appropriate type system.