Programming languages and software engineering
Event
ICSME 2016 and Microsoft Research
We are excited to have been a part of the International Conference on Software Maintenance and Evolution (ICSME) in Raleigh, North Carolina, October 5-7, 2016, at the Raleigh Marriott City Center. Microsoft was a Bronze…
Video
A Webbased Frontend for Easy Interaction with the Inductive Programming System Igor – Inference of Constructor Terms from Examples and Interactive Testing of Generated Programs
A developer’s work can get quite repetitive. This tedious part of his or her job decreases work time efficiency by a considerable amount. Inductive programming systems can provide a solution to this issue. These tools…
Publication
Fusing Effectful Comprehensions
Publication
Dependent partitioning
Publication