サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ブックレビュー
homes.cs.washington.edu/~emina
About Rosette Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more. To verify or synthesize code, Rosette compiles it to logical constraints solved with off-the-shelf SMT solvers. By combining virtualized access to solvers with Racket’s metaprogramming, Rosette makes it easy to develop synthesis and verification t
このページを最初にブックマークしてみませんか?
『homes.cs.washington.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く