SPARK

SPARK

SPARK

Para otros usos de este término, véase Spark (desambiguación).

SPARK es un lenguaje de programación especialmente diseñado para sistemas de alta integridad. Es un subconjunto anotado de Ada desarrollado por la empresa británica Praxis High Integrity Systems, Inc que elimina ciertas características del lenguaje consideradas peligrosas en este tipo de sistemas (como las excepciones o la sobrecarga de operadores), y que añade anotaciones formales para realizar automáticamente análisis de flujo de datos y de información.

Contenido

Historia

Los orígenes de este lenguaje de programación se encuentran en los trabajos realizados en la Universidad de Southamton (Reino Unido) sobre verificación formal de programas, y más concretamente en el desarrollo de SPADE (Southampton Program Analysis Development Environment), un conjunto de herramientas destinadas al análisis de flujo de datos y de información. De hecho, el nombre «SPARK» deriva de «SPADE Ada Kernel».

La primera versión de SPARK estaba basada en Ada 83 y fue desarrollada en 1988 por Bernard Carré y Trevor Jennings en dicha Universidad con el patrocinio del Ministerio de Defensa (MoD) británico. Más tarde siguió siendo desarrollado por la empresa Program Validaton Limited (fundada por el profesor Carré), y después por Praxis Critical Systems Limited. En octubre de 2004 esta empresa se fusionó con High Integrity Systems Limited para formar Praxis High Integrity Systems.

Ejemplo de código SPARK

El típico ejemplo de Hola mundo en SPARK es:

with Spark_IO;
--# inherit Spark_IO;
--# main_program;

procedure Hola_Mundo
--# global in out Spark_IO.Outputs;
--# derives Spark_IO.Outputs from Spark_IO.Outputs;
is
begin
   Spark_IO.Put_Line (Spark_IO.Standard_Output, "Hola Mundo!", 0);
end Hola_Mundo;

Enlaces relacionados

Enlaces externos

Obtenido de "SPARK"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Spark — Spark, n. [OE. sparke, AS. spearca; akin to D. spark, sperk; cf. Icel. spraka to crackle, Lith. sprag[ e]ti, Gr. ? a bursting with a noise, Skr. sph?rj to crackle, to thunder. Cf. {Speak}.] 1. A small particle of fire or ignited substance which… …   The Collaborative International Dictionary of English

  • SPARK (M.) — SPARK MURIEL (1918 ) Née à Édimbourg, à la fin de 1918, d’une mère quelque peu douée de voyance et d’un père ingénieur juif, Muriel Spark eut toujours le souci, sous le couvert transparent de la fiction, d’assumer ses origines l’enfance… …   Encyclopédie Universelle

  • spark — spark; spark·er; spark·i·ness; spark·ish; spark·less; spark·let; spark·ish·ly; spark·ish·ness; spark·less·ly; …   English syllables

  • Spark — ist der Name einer Pflanzengattung, siehe Spark (Gattung) ein deutscher bzw. englischer Familienname, siehe Spark (Familienname) der Name eines Open Source Instant Messengers, siehe Spark (Instant Messenger) ein traditioneller skandinavischer… …   Deutsch Wikipedia

  • Spark — avec une liste de contacts et une fenêtre de chat …   Wikipédia en Français

  • spark — ► NOUN 1) a small fiery particle thrown off from a fire, alight in ashes, or caused by friction. 2) a light produced by a sudden disrupted electrical discharge through the air. 3) a discharge such as this serving to ignite the explosive mixture… …   English terms dictionary

  • Spark — Окно клиента Spark Тип Программа мгновенного обмена сообщениями Разработчик Jive Software …   Википедия

  • spark — spark1 [spärk] n. [ME sperke < OE spearca, akin to MDu sparke < IE base * sp(h)er(e) g , to strew, sprinkle > SPRINKLE, L spargere] 1. a glowing bit of matter, esp. one thrown off by a fire 2. any flash or sparkle of light like this 3. a …   English World dictionary

  • Spark — 〈m.; (e)s; unz.〉 ein als Futterpflanze angebautes Nelkengewächs: Spergula arvensis * * * I Spark   [niederdeutsch], Spẹrgula, Gattung der Nelkengewächse mit fünf Arten in den gemäßigten Gebieten vornehmlich der Alten Welt; Kräuter mit linealisch …   Universal-Lexikon

  • spark´i|ly — spark|y «SPAHR kee», adjective, spark|i|er, spark|i|est. 1. emitting sparks. 2. Figurative. lively; vivacious: » …   Useful english dictionary

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”