Bidirectional evaluation with direct manipulation von Mayer, Mikaël, Kuncak, Viktor, Chugh, Ravi

Volltext

Functional synthesis for linear arithmetic and sets von Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe

Volltext

Roombots-Towards decentralized reconfiguration with self-reconfiguring modular robotic metamodules von Sproewitz, A, Laprade, P, Bonardi, Stéphane, Mayer, Mikaël, Moeckel, R, Mudry, Pierre-André, Ijspeert, A J

Volltext

Bidirectional evaluation for general-purpose programming von Mayer, Mikaël, Chugh, Ravi

Volltext bestellen

BIDIRECTIONAL EVALUATION FOR GENERAL- PURPOSE PROGRAMMING von Mayer, Mikaël, Chugh, Ravi

Volltext bestellen

BIDIRECTIONAL EVALUATION FOR GENERAL- PURPOSE PROGRAMMING von Mayer, Mikaël, Chugh, Ravi

Volltext bestellen

Complete functional synthesis von Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe

Volltext

Optimal Test Sets for Context-Free Languages von Mayer, Mikaël, Hamza, Jad

Volltext bestellen

Bidirectional Evaluation with Direct Manipulation von Mayer, Mikaël, Kunčak, Viktor, Chugh, Ravi

Volltext

Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples von Mayer, Mikaël, Hamza, Jad, Kuncak, Viktor

Volltext bestellen

Optimal Test Sets for Context-Free Languages von Mayer, Mikaël, Hamza, Jad

Volltext

Verifying the Fisher-Yates Shuffle Algorithm in Dafny von Zetzsche, Stefan, Tristan, Jean-Baptiste, Lepoint, Tancrede, Mayer, Mikael

Volltext bestellen

Automating grammar comparison von Madhavan, Ravichandhran, Mayer, Mikaël, Gulwani, Sumit, Kuncak, Viktor

Volltext

Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact) von Mayer, Mikaël, Hamza, Jad, Kuncak, Viktor

Volltext

Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples von Mayer, Mikaël, Hamza, Jad, Kuncak, Viktor

Volltext

Interactive Programming by Example von Mayer, Mikaël

Volltext bestellen

BIDIRECTIONAL EVALUATION FOR GENERAL-PURPOSE PROGRAMMING von CHUGH, Ravi, MAYER, Mikael

Volltext bestellen

Programmation Interactive par l'Exemple von Mayer, Mikaël

Volltext bestellen

Comfusy: A Tool for Complete Functional Synthesis: Tool Presentation von Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe

Volltext

Proactive Synthesis of Recursive Tree-to-String Functions from Examples von Mayer, Mikaël, Kuncak, Viktor, Hamza, Jad

Volltext bestellen