Static Analysis for Ada, C/C++ and Python: Different Languages, Different Needs.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 199
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2021 AND VI 42 AND IP 3/4
Results: 9
1
2
Ember: An Embedded Robotics Library in SPARK.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 185
- By:
- Publication type:
- Article
3
ASIS vs. LibAdalang: A Comparative Assesment.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 203
- By:
- Publication type:
- Article
4
Queuing Ports for Mesh Based Many-Core Processors.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 189
- By:
- Publication type:
- Article
5
More Ada in Non-Ada Systems.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 193
- By:
- Publication type:
- Article
6
Google Summer of Code (GSoC) and Ada Community Participation.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 182
- By:
- Publication type:
- Article
7
Conference Calendar.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 170
- By:
- Publication type:
- Article
8
Quarterly News Digest.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 130
- By:
- Publication type:
- Article
9
Editorial.
- Published in:
- Ada User Journal, 2021, v. 42, n. 3/4, p. 129
- By:
- Publication type:
- Article