activity
20072018
most citedTowards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.PL2018

Runtime verification in Erlang by using contracts

Lars-Åke Fredlund, Julio Mariño, Sergio Pérez +1

During its lifetime, a program suffers several changes that seek to improve or to augment some parts of its functionality. However, these modifications usually also introduce error…