Zobrazeno 1 - 10
of 167
pro vyhledávání: '"McMillan, Ken"'
We report on work in progress on automatic procedures for proving properties of programs written in higher-order functional languages. Our approach encodes higher-order programs directly as first-order SMT problems over Horn clauses. It is straight-f
Externí odkaz:
http://arxiv.org/abs/1306.5264
Autor:
McMillan, Ken
Publikováno v:
Science News, 2010 Jan 01. 177(1), 34-34.
Externí odkaz:
https://www.jstor.org/stable/25594156
Publikováno v:
In Information and Computation 10 July 2000 160(1-2):167-188