Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I - C-function - Document - PDFSEARCH.IO

First Page	Meta Content
	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Document Date: 2012-04-24 05:03:43 Open Document File Size: 292,08 KB Share Result on Facebook IndustryTerm synthesis algorithm / software synthesis / / Organization Ecole Polytechnique F´ed´erale de Lausanne / Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences / / ProvinceOrState South Carolina / C. / / Technology finite state machine / synthesis algorithm / / URL http / SocialTag Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics

Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), SwitzerlandAdd to Reading List