книги Компьютеры и Интернет Устройство компьютера, “железо”

POPLmark Challenge

Код 1475045

Нет в продаже

Аннотация к книге "POPLmark Challenge"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In type theory and programming languages, the POPLmark challenge is a set of benchmarks designed to evaluate the state of mechanization in the metatheory of programming languages, and to stimulate discussion and collaboration among a diverse cross section of the formal methods community. The challenge was initially proposed by the members of the PL club at the...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1331-9253-9
Объём: 128 страниц
Масса: 215 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают