Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q104347224)
Watch
English
Armada
programming language
In more languages
edit
Statements
instance of
programming language
1 reference
reference URL
https://www.microsoft.com/en-us/research/publication/armada-low-effort-verification-of-high-performance-concurrent-programs/
retrieved
19 December 2020
has use
concurrent computing
0 references
source code repository URL
https://github.com/microsoft/armada
version control system
Git
web interface software
GitHub
0 references
software version identifier
0.1.0
publication date
22 February 2021
1 reference
reference URL
https://github.com/microsoft/Armada/releases/tag/v0.1.0
retrieved
23 February 2021
title
Release 0.1.0
(English)
publication date
22 February 2021
0.2.0
publication date
22 February 2021
1 reference
reference URL
https://github.com/microsoft/Armada/releases/tag/v0.2.0
retrieved
23 February 2021
title
Release 0.2.0
(English)
publication date
22 February 2021
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit