Alcino Cunha

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Pardinus: a temporal relational model finder Journal of Automated Reasoning	2022-12-12	Paper
Exploiting partial knowledge for efficient model analysis Automated Technology for Verification and Analysis	2022-08-12	Paper
Composition in state-based replicated data types	2019-07-03	Paper
A tribute to José Nuno Oliveira Journal of Logical and Algebraic Methods in Programming	2016-12-15	Paper
Algebraic specialization of generic functions for recursive types Electronic Notes in Theoretical Computer Science	2014-06-27	Paper
Strongly typed rewriting for coupled software transformation Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Automatic visualization of recursion trees: a case study on generic programming	2013-08-27	Paper
Relations as executable specifications: taming partiality and non-determinism using invariants Relational and Algebraic Methods in Computer Science	2012-09-21	Paper
Transformation of structure-shy programs with application to XPath queries and strategic functions Science of Computer Programming	2011-05-04	Paper
Generic point-free lenses Lecture Notes in Computer Science	2010-07-26	Paper
A Framework for Point-Free Program Transformation Implementation and Application of Functional Languages	2009-04-28	Paper
Point-free program transformation	2006-06-19	Paper

Research outcomes over time

This page was built for person: Alcino Cunha