Back to Results
First PageMeta Content
Model theory / Logic in computer science / Constraint programming / Predicate logic / Semantics / Satisfiability Modulo Theories / Quantifier elimination / First-order logic / Function / Logic / Mathematical logic / Mathematics


Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter?
Add to Reading List

Document Date: 2011-11-29 17:36:57

Open Document

File Size: 575,15 KB

Share Result on Facebook

/

Facility

Swiss Federal Institute of Technology / /

IndustryTerm

run-time search / unpredictable search / quantifier elimination algorithms / verification systems / trivial solution / appropriate synthesis algorithms / overall compile-time processing / synthesis algorithm / synthesis algorithms / precompute solutions / particular solution / Pre-processing / /

Organization

Swiss Federal Institute of Technology / FV(pre) / Swiss National Foundation / Swiss National Science Foundation / School of Computer and Communication Sciences / EPFL School of Computer and Communication Sciences / /

Person

Abstract / Viktor Kuncak / Philippe Suter / Ruzica Piskac / /

Position

author / editor / deterministic execution model / or provide code skeletons. / interpreter / /

ProgrammingLanguage

Haskell / SETL / K / Scala / /

Technology

main algorithm / LAN / synthesis algorithms / appropriate synthesis algorithms / synthesis algorithm / describing synthesis algorithms / related algorithm / improved algorithms / quantifier elimination algorithms / /

URL

http /

SocialTag