Telecharger Cours

Inductive and Deductive Synthesis for Database Applications

Abstract. Program synthesis is a promising method for building efficient, flexible software by deriving low-level implementations from high-level ...



Download