Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-9 de um total de 9 resultados (tempo de pesquisa: 0.031 segundos).
DataTítuloAutor(es)TipoAcesso
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2004Making the point-free calculus less pointlessCunha, Alcino; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1997CAMILA: formal software engineering supported by functional programmingAlmeida, José João; Barbosa, L. S.; Neves, F. L.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2007A shortcut fusion rule for circular program calculationFernandes, João Paulo; Pardo, Alberto; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraArtigo em ata de conferênciaAcesso aberto
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2011Calculating with lenses: optimising bidirectional transformationsPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2006Type-safe two-level data transformationCunha, Alcino; Oliveira, José Nuno Fonseca; Visser, JoostArtigo em ata de conferênciaAcesso aberto
2009Shortcut fusion rules for the derivation of circular and higher-order monadic programsPardo, Alberto; Fernandes, João Paulo; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
1-9 de um total de 9 resultados (tempo de pesquisa: 0.031 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir