Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Refinement Type Inference via Multi-Objective Optimization Subject to Horn Clauses Kodai Hashimoto and Hiroshi Unno (University of Tsukuba)! {kodai, uhiro}@logic.cs.tsukuba.ac.jp Our proposal
Add to Reading List
Document Date: 2015-05-05 06:48:39
Open Document
File Size: 782,33 KB
Share Result on Facebook
Refinement Type Inference via Multi-Objective Optimization Subject to Horn Clauses Kodai Hashimoto and Hiroshi Unno (University of Tsukuba)! {kodai, uhiro}@logic.cs.tsukuba.ac.jp
Our proposal