Programming from Galois connections Artigo de Conferência

• http://www.scopus.com/inward/record.url?eid=2-s2.0-84864131215&partnerID=MN8TOARS
• full text
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Mu, S.-C.
• Oliveira, J.N.

data de publicação

• janeiro 1, 2012

publicada em

• Computational Methods in Applied Sciences  Revista

Pesquisas

palavras-chave

• Algebra of programming
• Galois connection
• Program calculation
• Program derivation

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-642-21070-9_22
• https://doi.org/10.1016/j.jlap.2012.05.003

Informação adicional documento

Página Inicial

• 294
• 680

página final

• 313
• 704

Volume

• 81

questão

• 6