Cláudio Amaral

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Multi Agent Systems

Constraint Logic Programming

Desirable Properties

Top Venues

Publications

Cláudio Amaral, Mário Florido, Vítor Santos Costa
PrologCheck - Property-Based Testing in Prolog. FLOPS (2014)
Johan Jeuring, Patrik Jansson, Cláudio Amaral
Testing type class laws. Haskell (2012)
Cláudio Amaral, Mário Florido, Patrik Jansson
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop (2011)