A family of multi-concept program synthesisers in alloy¿ Documento

• http://dx.doi.org/10.1016/j.scico.2020.102536
• http://https://doi.org/10.1016/j.scico.2020.102536

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

Visão geral

tipo

• journal article

autores

• Alexandre Cabral Mota
• Alexandre Roberto de Souza Correia
• Juliano Manabu Iyoda

data de publicação

• 2020-01-01

publicada em

• SCIENCE OF COMPUTER PROGRAMMING (PRINT) 

Pesquisas

palavras-chave

• Program synthesis
• SAT solvers
• alloy

Identidade

identificador BrCris

• 4d9c50939ebd7d0562997743702bad13
• 75b2c6c0ce8e43f60c3911a35de070ae

Informação adicional documento

série

• 1

Página Inicial

• 102536

página final

• 26

Volume

• 201

Outro

tem linguagem

• Inglês
• Português