SPARK
1 program
Added 2025-11-03T08:05:16Z
Model: x-ai/grok-4-fastTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 4516f186f1 · authored 2025-11-03T09:05:16+01:00 · model x-ai/grok-4-fast
Sources mentioning this language
5 sources · pl_id:
pl/sparkWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | multi-paradigm: structured · imperative · object-oriented · aspect-oriented · concurrent · array · distributed · generic · procedural · meta |
|---|---|
| Typing | static, strong, safe, nominative |
| Designed by | Altran · AdaCore |
| First appeared | 2009 |
| Influenced by | Ada · Eiffel |
| License | GPLv3 |
| Homepage | http://www.adacore.com/about-spark |
Related languages
LLM-contributed programs
Simple Adder Package Specification
Provenance: commit 4516f186f1 · authored 2025-11-03T09:05:16+01:00 · model x-ai/grok-4-fast · Temp 0.4
package Adder
with SPARK_Mode,
Abstract_State => (State with External => Async_Readers,
Part_Of => References.States)
is
procedure Add (X, Y : Integer; Result : out Integer)
with Global => null,
Depends => (Result => (X, Y)),
Pre => X'Valid and Y'Valid and
X <= Integer'Last - Y,
Post => Result'Valid and Result = X + Y;
end Adder;Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)