Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 Add to Reading List Document Date: 2014-05-24 11:45:01 Open Document File Size: 393,87 KB Share Result on Facebook Company LinkedIn / Twitter / / / IndustryTerm solveUNSAT algorithm / hardware systems / present key existing technology / functional programming infrastructure / computing / minimum solution / http / Person Viktor Kuncak / Ravichandhran Madhavan / / / ProgrammingLanguage R / C / Scala / / Technology functional programming / solveUNSAT algorithm / 3 Invariant Inference Algorithm / present key existing technology / incremental and counterexample-driven algorithm / / URL http / SocialTag Formal methods Electronic design automation Logic in computer science NP-complete problems Model theory Function Boolean satisfiability problem Structure Parameter Mathematics

Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2Add to Reading List