Buscar
Mostrando ítems 1-10 de 14
Uma interface gráfica compacta e prática em objective caml
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Engenharia ElétricaEngenhariasUFU, 2016)
Uma proposta para a triangulação de Delaunay 2D e localização planar de pontos em OCaml
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Engenharia ElétricaEngenhariasUFU, 2016)
Chaperone contracts for higher-order sessions
(ACM, 2017-08)
Contracts have proved to be an effective mechanism that helps developers in identifying those modules of a program that violate the contracts of the functions and objects they use. In recent years, sessions have established ...
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
(2019-09-27)
A sintaxe nominal tem sido utilizada em vários contextos por quase duas décadas. Ela é
uma ferramenta poderosa para se lidar com ligação de variáveis de uma forma concreta,
que pode ser aplicada a qualquer especificação ...
Chemical foundations of distributed aspects
(Springer Verlag, 2019)
© 2018, Springer-Verlag GmbH Germany, part of Springer Nature. Distributed applications are challenging to program because they have to deal with a plethora of concerns, including synchronization, locality, replication, ...
Partial Type Equivalences for Verified Dependent Interoperability
(2016)
Full-spectrum dependent types promise to enable the development of correct-by-construction software. However, even certified software needs to interact with simply-typed or untyped programs, be it to perform system calls, ...
Uso dos algoritmos genéticos para a otimização de rotas de distribuição
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Engenharia ElétricaEngenhariasUFU, 2016)
Gradually structured data
(Assoc Computing Machinery, 2021)
Dynamically-typed languages offer easy interaction with ad hoc data such as JSON and S-expressions; staticallytyped
languages offer powerful tools for working with structured data, notably algebraic datatypes, which are
a ...
Foundations of dependent interoperability
(2018)
Full-spectrum dependent types promise to enable the development of correct-by-construction software. However, even certified software needs to interact with simply-typed or untyped programs, be it to perform system calls, ...
Foundations of dependent interoperability
(Cambridge University Press, 2018)
Full-spectrum dependent types promise to enable the development of correct-by-construction software. However, even certified software needs to interact with simply-typed or untyped programs, be it to perform system calls, ...