SPARK, the language. Whatever happened to that? | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

Animats on Nov 18, 2018 | parent | context | favorite | on: Rust and SPARK: Software Reliability for Everyone ...

SPARK, the language. Whatever happened to that?

inamberclad on Nov 19, 2018 | [–]

Not much reason to run across it unless you're in the avionics and high integrity world

tkyjonathan on Nov 18, 2018 | [–]

Used in electronics, I think.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact