Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/22871
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorGualandi, Hugo Musso-
dc.contributor.authorAndrade, Daniel Kiyoshi Hashimoto Vouzella-
dc.date.accessioned2024-05-23T17:57:57Z-
dc.date.available2024-05-25T03:00:21Z-
dc.date.issued2024-02-06-
dc.identifier.urihttp://hdl.handle.net/11422/22871-
dc.languageengpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectLinguagem de programaçãopt_BR
dc.subjectProgramação tácitapt_BR
dc.subjectCálculo concatenativopt_BR
dc.subjectLógica combinatóriapt_BR
dc.subjectProgramação point-freept_BR
dc.subjectProgramming languagept_BR
dc.subjectTacit programmingpt_BR
dc.subjectConcatenative calculuspt_BR
dc.subjectCombinatory logicpt_BR
dc.subjectPointfree programmingpt_BR
dc.titleFrom combinators to concatenative and back againpt_BR
dc.typeTrabalho de conclusão de graduaçãopt_BR
dc.contributor.referee1Bastos, Daniel Chicayban-
dc.contributor.referee2Nobrega, Hugo de Holanda Cunha-
dc.contributor.referee3Paixão, João Antonio Recio-
dc.description.resumoA programação tácita ou point-free é um estilo de programação que evita nomear variáveis, através do uso de combinadores para compor funções menores. Dois modelos de programação tácita são o cálculo concatenativo e a lógica combinatória. O cálculo concatenativo está relacionado às linguagens de programação baseadas em pilha, estas usadas em diversos contextos, incluindo bytecode para máquinas virtuais e sistemas embarcados. A lógica combinatória é um modelo computacional aplicativo mais semelhante ao cálculo lambda. Ambos estes modelos tácitos são frequentemente comparados entre si. Os combinadores elementares da lógica combinatória são comumente casados com instruções de manipulação de pilha: por exemplo, C se parece com o swap, e W se parece com o dup. Neste trabalho, nós generalizamos esta conexão para todos os combinadores e todos os programas de pilha. Nós descrevemos três algorítmos que convertem de um modelo tácito para o outro. O primeiro algorítmo traduz qualquer combinador da lógica combinatória para uma expressão do cálculo concatenativo usando ou a estratégia de redução call-by-name ou a call-by-value. O segundo algorítmo é especializado para um subconjunto de combinadores que recebe uma função callback como seu primeiro argumento. Ele produz programas de pilha menores e mais intuitivos. Por último, o terceiro algorítmo é uma versão reversa do segundo, e converte qualquer programa de pilha de volta para uma expressão da lógica combinatória. Como nossos algorítmos preservam a ordem da redução, nós mostramos que cada modelo é capaz de simular o outro.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto de Computaçãopt_BR
dc.publisher.initialsUFRJpt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Ciência da Computação

Files in This Item:
File Description SizeFormat 
DKHVAndrade.pdf336.57 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.