41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a087cb-fed9-7225-affa-44b1d2aba36e

Writing a Verified Postfix Expression Calculator in Ada/SPARK

pyjarrett.github.io · published 10 June 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at pyjarrett.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 12
Words captured: 3,893

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://learn.adacore.com/courses/intro-to-spark/index.html

learn.adacore.com

https://archive.fosdem.org/2020/schedule/event/forth_new_synthesis/

archive.fosdem.org

https://forum.ada-lang.io/t/ada-bootstrap-compiler-funding-thanks-to-nlnet/2014/28

forum.ada-lang.io

https://www.forth.com/starting-forth/

forth.com

https://github.com/pyjarrett/postfix_calc

github.com

https://alire.ada.dev/

alire.ada.dev

https://www.adacore.com/press/ada-and-spark-enter-the-automotive-iso-26262-market-with-nvidia

adacore.com

https://www.nvidia.com/en-us/on-demand/session/gtcsj20-s21122/

nvidia.com

https://docs.adacore.com/spark2014-docs/html/ug/en/usage_scenarios.html

docs.adacore.com

https://www.destroyallsoftware.com/screencasts/catalog/functional-core-imperative-shell

destroyallsoftware.com

https://ada-lang.io/docs/arm/AA-3/AA-3.4

ada-lang.io

https://docs.adacore.com/spark2014-docs/html/ug/en/source/how_to_run_gnatprove.html

docs.adacore.com