The Programming-languages Keyword
Not the keyword you're looking for? See all keywords.
The Concrete Programming Language: Systems Programming for Formal Reasoning
Concrete is a systems programming language designed around a single principle: every design choice must answer the question, can a machine reason about this? It aims to combine expressiveness with formal verification, performance with safety.