Propaganda
Hol-ocl.
hol-ocl é um ambiente de prova interativo para a linguagem de restrição de objeto (OCL). ...
incorporação incorporação rasa Lógica de ordem superior Ambiente de prova Hol-ocl.
Raso
O raso é uma biblioteca C ++ projetada para facilitar a programação do GPGPU. ...
biblioteca Biblioteca C++ C ++ programação GPGPU fácil Programação segura do GPGPU.