top | item 34215158 (no title) henrikeh | 3 years ago Ada / SPARK can do that. Ada has had some form of that analyses since the first version from 1983.https://learn.adacore.com/courses/intro-to-spark/chapters/03... discuss order hn newest No comments yet.
No comments yet.