Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
ELLA (programming language)
open-in-new
<p>ELLA is a <a href="/facts/Hardware_description_language/g19KvKCu">hardware description language</a> and support toolset, developed in the United Kingdom by the <a href="/facts/Royal_Signals_and_Radar_Establishment/G96SheBm">Royal Signals and Radar Establishment</a> (RSRE) during the 1980s and 1990s, which also developed the <a href="/facts/Compiler/WNfCDFJe">compiler</a> for the <a href="/facts/Programming_language/cWTYbgWa">programming language</a>, <a href="/facts/ALGOL_68RS/rCfL7Mcw">ALGOL 68RS</a>, used to write ELLA. </p><p>ELLA has tools to perform: </p> <ul><li>Design transformation</li> <li><a href="/facts/Symbolic_simulation/xmMhJP4N">Symbolic simulations</a></li> <li><a href="/facts/Formal_verification/BYD4GnJR">Formal verification</a></li></ul> <p>ELLA is a winner of the 1989 <a href="/facts/Queen%27s_Awards_for_Enterprise/jGxgB65M">Queen's Award for Technological Achievement</a>. </p>