Lara - PDFSEARCH.IO - Document Search Engine

Lara
Results: 1812

#	Item
501	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
502	Game Programming by Demonstration Mika¨el Mayer Viktor Kuncak EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 03:18:43 Video game development Game Editor Game engine Video game Pong PlayStation Home Software Games Application software
503	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science
504	Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-11-09 10:48:40 Theoretical computer science Applied mathematics Data types Arithmetic Affine arithmetic Affine geometry Floating point Interval arithmetic Machine epsilon Mathematics Numerical analysis Computer arithmetic
505	Phantm: PHP Analyzer for Type Mismatch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Cross-platform software Program analysis Procedural programming languages Scripting languages Data types PHP Type system Eval C Computing Software engineering Computer programming
506	lara schenck notlaura.comWeb Consultant and Educator Add to Reading List Source URL: notlaura.com Language: English - Date: 2015-04-20 10:47:16 WordPress Web development Adobe InDesign Software Blog software PHP programming language
507	Ordered Sets in the Calculus of Data Structures Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-06-07 15:38:49 Metalogic Model theory Elementary mathematics Formal languages Function Finite set Infinity Quantifier elimination Set Mathematics Logic Mathematical logic
508	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing Software engineering Computer programming
509	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
510	Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Data types Recursion Theoretical computer science Formal methods Functional programming Algebraic data type Fold ALGOL 68 Scala Computing Software engineering Computer programming

UPDATE