Alcino Cunha

From MaRDI portal
Person:532415

Available identifiers

zbMath Open cunha.alcinoMaRDI QIDQ532415

List of research outcomes





PublicationDate of PublicationType
Pardinus: a temporal relational model finder2022-12-12Paper
Exploiting Partial Knowledge for Efficient Model Analysis2022-08-12Paper
https://portal.mardi4nfdi.de/entity/Q49672402019-07-03Paper
A tribute to José Nuno Oliveira2016-12-15Paper
Algebraic Specialization of Generic Functions for Recursive Types2014-06-27Paper
Strongly typed rewriting for coupled software transformation2013-12-06Paper
Automatic visualization of recursion trees: a case study on generic programming2013-08-27Paper
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants2012-09-21Paper
Transformation of structure-shy programs with application to XPath queries and strategic functions2011-05-04Paper
Generic Point-free Lenses2010-07-26Paper
A Framework for Point-Free Program Transformation2009-04-28Paper
https://portal.mardi4nfdi.de/entity/Q54728782006-06-19Paper

Research outcomes over time

This page was built for person: Alcino Cunha

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:532415&oldid=7132065"
Powered by MediaWiki