docs.adacore.com

Total Links

Wikipedia Pages

Subdomains

Topics

Electronics & Electrical

Related Domains

www.adacore.com docs.adacore.com libre.adacore.com learn.adacore.com blog.adacore.com www2.adacore.com

Wikipedia Pages Linking to docs.adacore.com

Dependent type

View on Wikipedia

5 links on this page

List of language bindings for GTK

View on Wikipedia

2 links on this page

GNAT

View on Wikipedia

1 links on this page

SPARK (programming language)

View on Wikipedia

1 links on this page

Ada Semantic Interface Specification

View on Wikipedia

1 links on this page

Wikipedia Links

https://docs.adacore.com/live/wave/gnat-release-notes/html/gnat_release_note/index.html

Anchor text: GNAT Release Notes

Wikipedia: GNAT

https://docs.adacore.com/sparkdocs-docs/SPARK_LRM.htm

Wikipedia: SPARK (programming language)

https://docs.adacore.com/asis-docs/html/asis_ug/asis_ug/asis_overview.html#main-asis-abstractions

Wikipedia: Ada Semantic Interface Specification

https://docs.adacore.com/spark2014-docs/html/lrm/

Anchor text: SPARK 2014

Wikipedia: Dependent type

https://docs.adacore.com/spark2014-docs/html/ug/en/source/spark_libraries.html#spark-lemma-library

Anchor text: 5.11.6. SPARK Lemma Library

Wikipedia: Dependent type

https://docs.adacore.com/spark2014-docs/html/ug/en/source/subprogram_contracts.html#contracts-for-termination

Anchor text: 5.2.8. Contracts for Termination

Wikipedia: Dependent type

https://docs.adacore.com/live/wave/gnat-ccg/html/gnatccg_ug/gnat_ccg/gnat_ccg.html

Anchor text: 1.2. Calling and Using CCG

Wikipedia: Dependent type

https://docs.adacore.com/spark2014-docs/html/ug/en/appendix/portability_issues.html#compiling-with-a-non-spark-aware-compiler

Anchor text: Compiling with a non-SPARK Aware Compiler

Wikipedia: Dependent type

https://docs.adacore.com/gnatvm-docs/dotgnat_ug.html

Wikipedia: List of CLI languages

http://docs.adacore.com/gtkada-docs/gtkada_ug/_build/html/intro.html

Wikipedia: List of language bindings for GTK