FACTOID # 129: People trust Swedes! Swedish companies are the world’s least-likely to be perceived as paying bribes.
 
 Home   Encyclopedia   Statistics   Countries A-Z   Flags   Maps   Education   Forum   FAQ   About 
 
WHAT'S NEW
RECENT ARTICLES
More Recent Articles »
 

Encyclopedia > Lustre programming language

Lustre is a formally defined, declarative, and synchronous data-flow programming language, for programming reactive systems. It began as a research project in the early 1980s. In 1993, it progressed to practical, industrial use, in a commercial product, as the core language of the industrial environment SCADE, developed by Esterel-Technologies. It is now used for critical control software in aircraft, helicopters, and nuclear power plants. In computer science, formal methods refers to mathematically based techniques for the specification, development and verification of software and hardware systems (Foldoc:formalmethods). ... A declarative programming language is a high-level language that describes a problem rather than defining a solution. ... A synchronous programming language is a programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. ... A programming language or computer language is a standardized communication technique for expressing instructions to a computer. ... The 1980s, in its most obvious sense, was the decade between 1980 and 1989. ... SCADE is a commercial product from the Esterel Technologies Company. ... Esterel is a formally defined synchronous imperative language for the programming of reactive systems. ... Airbus S.A.S. better known as simply Airbus, based in Toulouse, France, is the worlds top commercial aircraft manufacturer measured by deliveries and orders for 2003 and 2004. ... The Eurocopter Group is a global helicopter manufacturing and support company formed in 1992 from the merger of the helicopter divisions of French Aérospatiale and German DaimlerChrysler Aerospace AG (DASA). ... A nuclear power plant (NPP) is a thermal power station in which the heat source is one or more nuclear reactors generating nuclear power. ...


See also

Esterel is a formally defined synchronous imperative language for the programming of reactive systems. ... A synchronous programming language is a programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. ...

External links


  Results from FactBites:
 
Encyclopedia: Declarative programming language (689 words)
Declarative programming is an approach to computer programming that involves the creation of a set of conditions that describe a solution space, but leaves the interpretation of the specific steps needed to arrive at that solution up to an unspecified interpreter.
Declarative programming languages Declarative programming is an approach to computer programming that involves the creation of a set of conditions that describe a solution space, but leaves the interpretation of the specific steps needed to arrive at that solution up to an unspecified interpreter.
Programming languages are not error tolerant; however, the burden of recognising and using the special vocabulary is reduced by help messages generated by the programming language implementation.
Lustre programming language - Wikipedia, the free encyclopedia (123 words)
Lustre is a formally defined, declarative, and synchronous data-flow programming language, for programming reactive systems.
In 1993, it progressed to practical, industrial use, in a commercial product, as the core language of the industrial environment SCADE, developed by Esterel-Technologies.
It is now used for critical control software in aircraft, helicopters, and nuclear power plants.
  More results at FactBites »

 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your location
Your comments
Please enter the 5-letter protection code


Lesson Plans | Student Area | Student FAQ | Reviews | Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms.