Claúdio de Oliveira Amaral


AuthID: R-000-SRX

Confirmed Publications: 3



1
TITLE: PrologCheck - Property-Based Testing in Prolog
AUTHORS: Amaral, C ; Florido, M ; Costa, VS ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
INDEXED IN: Scopus WOS DBLP CrossRef: 14
2
TITLE: Testing Type Class Laws  Full Text
AUTHORS: Johan Jeuring; Patrik Jansson; Claudio Amaral ;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 12
INDEXED IN: Scopus WOS CrossRef
3
TITLE: Interfacing Dynamically Typed Languages and the Why Tool: Reasoning about Lists and Tuples. reasoning about lists and tuples
AUTHORS: Amaral, C ; Florido, M ; Jansson, P;
PUBLISHED: 2011, SOURCE: 10th ACM SIGPLAN Erlang Workshop in ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP
INDEXED IN: Scopus WOS DBLP CrossRef

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service