• Science • People
Non User
 • Locations • Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > SPARK programming language

SPARK is a programming language, a formally defined annotated sub-set of Ada based on Ada83 and Ada95. It is developed by Praxis High Integrity Systems (Praxis HIS), a UK software developer. Praxis HIS claims it was designed for development of software for applications where "correct operation is vital either for reasons of safety or business integrity."

1 "Hello, World!" in SPARK

with Spark_IO; --# inherit Spark_IO; --# main_program; procedure Hello_World --# global in out Spark_IO.Outputs; --# derives Spark_IO.Outputs from Spark_IO.Outputs; is begin Spark_IO.Put_Line (Spark_IO.Standard_Output, "Hello World!", 0); end Hello_World;

2 References


3 External links

Ada dialects Programming languages Imperative programming languages Concurrent programming languages Algol programming language family Embedded systems Procedural programming languages Statically-typed programming languages


This article is a stub. You can help Wikipedia by [ ṣlocalurl: : |action=edit}} expanding it].



Read more »

Topics: SPARK Programming Language, "Hello World " In SPARK...

SparksThe word sparks can refer to a number of things: Small airborne embers from a fire. The Los Angeles Sparks, a WNBA team Sparks Street, in Ottawa Sparks (band) a rock band led by Ron Mael and his brother Russell Mael. They have continued to use that name sSparky AndersonGeorge Lee "Sparky" Anderson (born February 22, 1934) is the only manager in the history of Major League Baseball to win the World Series while leading clubs in both leagues. He piloted the National League's Cincinnati Reds to the 1975 and 1976 championshSparkman, ArkansasSparkman is a city located in Dallas County, Arkansas. As of the 2000 census, the city had a total population of 586. Geography Sparkman is located at 33°55'2" North, 92°50'56" West (33. 917201, -92. According to the United States Census Bureau, the city
Sparks, GeorgiaSparks is a town located in Cook County, Georgia. As of the 2000 census, the town had a total population of 1,755. Geography Sparks is located at 31°10'9" North, 83°26'23" West (31. 169210, -83. According to the United States Census Bureau, the town has aSparks, NevadaSparks is a city located in Washoe County, Nevada. As of the 2000 census, the city had a total population of 66,346. Although Sparks was originally distinct from Reno, they have both grown toward each other to such a degree that today the border between tSparks, OklahomaSparks is a town located in Lincoln County, Oklahoma. As of the 2000 census, the town had a total population of 137. Geography Sparks is located at 35°36'35" North, 96°49'11" West (35. 609854, -96. According to the United States Census Bureau, the town ha
Sparks, TexasSparkling wineSpark plug
Sparkle & FadeSparkySparkNotes
SPARK programming languageSpark gapSparkling Generation Valkyrie Yuuki
Non User