Browsing by author 88

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 20 of 41.  next >
Issue DateTitleAuthor(s)TypeAccess
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArticleOpen access
2009An integrated formal methods tool-chain and its application to verifying a file system modelFerreira, Miguel A.; Oliveira, José Nuno FonsecaConference paperOpen access
2001"Bagatelle in C arranged for VDM SoLo"Oliveira, José Nuno FonsecaArticleOpen access
May-2013Calculating fault propagation in functional programsMurta, Daniel R.; Oliveira, José Nuno FonsecaReportOpen access
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraConference paperOpen access
2005Camila revival: VDM meets haskellVisser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al.Conference 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
2002Coinductive interpreters for process calculiBarbosa, L. S.; Oliveira, José Nuno FonsecaConference paperOpen access
2013Composing least-change lensesMacedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino, et al.Conference paperOpen access
1998"Explosive" programming controlled by calculationOliveira, José Nuno FonsecaReportOpen access
2009Extended static checking by calculation using the pointfree transformOliveira, José Nuno FonsecaConference paperOpen access
2005From algebras to objects : generation and compositionCruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno FonsecaArticleOpen access
May-2012Functions as types or the "Hoare logic" of functional dependenciesOliveira, José Nuno FonsecaArticleOpen access
2008'Galculator': functional prototype of a Galois-connection based proof assistantSilva, Paulo F.; Oliveira, José Nuno FonsecaConference paperOpen access
2009Galois: a language for proofs using galois connections and fork algebrasSilva, Paulo F.; Visser, Joost; Oliveira, José Nuno FonsecaConference paperOpen access
2017Implementing a linear algebra approach to data processingPontes, Rogério; Matos, Miguel Ângelo Marques; Oliveira, José Nuno Fonseca, et al.Conference paperRestricted access (UMinho)
2011Logic training through algorithmic problem solvingFerreira, João Fernando; Mendes, Alexandra; Cunha, Alcino, et al.Conference paperOpen access
2010Matrices as arrows! A biproduct approach to typed linear algebraOliveira, José Nuno Fonseca; Macedo, Hugo DanielConference paperOpen access
Sep-2015Metaphorisms in programmingOliveira, José Nuno FonsecaConference paperOpen access