Browsing by subject Program calculation

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 13 of 13.
Issue DateTitleAuthor(s)TypeAccess
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraConference paperOpen access
2011Calculating with lenses : optimising bidirectional transformationsPacheco, Hugo; Cunha, AlcinoConference paperOpen access
1997CAMILA: formal software engineering supported by functional programmingAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Conference paperOpen access
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Conference paperOpen access
2004Generalizing Hylo-shiftPinto, Jorge SousaReportOpen access
2004Making the point-free calculus less pointlessCunha, Alcino; Pinto, Jorge SousaConference paperOpen access
2010Matrices as arrows! A biproduct approach to typed linear algebraOliveira, José Nuno Fonseca; Macedo, Hugo DanielConference paperOpen access
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaReportOpen access
2005Point-free program transformationCunha, Alcino; Pinto, Jorge SousaArticleOpen access
2011Programming from Galois connectionsMu, Shin-Cheng; Oliveira, José Nuno FonsecaConference paperOpen access
2007A shortcut fusion rule for circular program calculationFernandes, João Paulo; Pardo, Alberto; Saraiva, João AlexandreConference paperOpen access
2009Shortcut fusion rules for the derivation of circular and higher-order monadic programsPardo, Alberto; Fernandes, João Paulo; Saraiva, João AlexandreConference paperOpen access
2006Type-safe two-level data transformationCunha, Alcino; Oliveira, José Nuno Fonseca; Visser, JoostConference paperOpen access