Claúdio de Oliveira Amaral


AuthID: R-000-SRX

Publicações Confirmadas: 3



1
TÍTULO: PrologCheck - Property-Based Testing in Prolog
AUTORES: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
2
TÍTULO: Testing Type Class Laws  Full Text
AUTORES: Johan Jeuring; Patrik Jansson; Claudio Amaral ;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 12
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: Interfacing Dynamically Typed Languages and the Why Tool: Reasoning about Lists and Tuples. reasoning about lists and tuples
AUTORES: Claudio Amaral ; Mario Florido ; Patrik Jansson;
PUBLICAÇÃO: 2011, FONTE: 10th ACM SIGPLAN Erlang Workshop in ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP
INDEXADO EM: Scopus WOS DBLP CrossRef

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service