Tags


#ada2012 1
#aspects 1
#bindings 1
#browser 1
#c_language 1
#case statements 1
#code generation 1
#codereview 2
#compile-time checks 1
#contracts 1
#curl 1
#discriminants 1
#functions 1
#generics 1
#gprbuild 1
#header 1
#hexdump 1
#license 1
#parameters 1
#predicates 1
#private types 1
#records 1
#self-reference 1
#sequential_io 1
#static analysis 1
#strings 1
#text_io 1
#url 1
#version control 1
#windows 1