Synthesis modulo recursive functions von Kneuss, Etienne, Kuraj, Ivan, Kuncak, Viktor, Suter, Philippe

Volltext

Program synthesis from polymorphic refinement types von Polikarpova, Nadia, Kuraj, Ivan, Solar-Lezama, Armando

Volltext

Complete completion using types and weights von Gvero, Tihomir, Kuncak, Viktor, Kuraj, Ivan, Piskac, Ruzica

Volltext

DemoMatch: API discovery from demonstrations von Yessenov, Kuat, Kuraj, Ivan, Solar-Lezama, Armando

Volltext

Programming with enumerable sets of structures von Kuraj, Ivan, Kuncak, Viktor, Jackson, Daniel

Volltext

Program Synthesis from Polymorphic Refinement Types von Polikarpova, Nadia, Kuraj, Ivan, Solar-Lezama, Armando

Volltext bestellen

Program Synthesis from Polymorphic Refinement Types von Polikarpova, Nadia, Kuraj, Ivan, Solar-Lezama, Armando

Volltext

On Integrating Deductive Synthesis and Verification Systems von Kneuss, Etienne, Kuncak, Viktor, Kuraj, Ivan, Suter, Philippe

Volltext bestellen

Interactive Code Generation von Kuraj, Ivan

Volltext bestellen

On Integrating Deductive Synthesis and Verification Systems von Kneuss, Etienne, Kuncak, Viktor, Kuraj, Ivan, Suter, Philippe

Volltext

On Repairing Ill-Typed Expressions von Gvero, Tihomir, Kuraj, Ivan, Piskac, Ruzica

Volltext bestellen

On Integrating Deductive Synthesis and Verification Systems von Kneuss, Etienne, Kuncak, Viktor, Kuraj, Ivan, Suter, Philippe

Volltext bestellen

On Complete Completion using Types and Weights von Gvero, Tihomir, Kuncak, Viktor, Kuraj, Ivan, Piskac, Ruzica

Volltext bestellen

On Fast Code Completion using Type Inhabitation von Gvero, Tihomir, Kuncak, Viktor, Kuraj, Ivan, Piskac, Ruzica

Volltext bestellen

Complete Completion using Types and Weights von Gvero, Tihomir, Kuncak, Viktor, Kuraj, Ivan, Piskac, Ruzica

Volltext bestellen