1 citations · 1 across the 1 of their papers we have counts for
2 papers
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…
cs.PL2007★ 1 cited
Automatic Coding Rule Conformance Checking Using Logic Programs
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz +3
Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is reali…