Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Ana Cristina Rocha Oliveira"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 113, Iss Proc. LSFA 2012, Pp 145-152 (2013)
Orthogonality is a discipline of programming that in a syntactic manner guarantees determinism of functional specifications. Essentially, orthogonality avoids, on the one side, the inherent ambiguity of non determinism, prohibiting the existence of d
Externí odkaz:
https://doaj.org/article/8dc8a612c3d1410ba570417bf46914d2
Autor:
Daniele Nantes-Sobrinho, Maribel Fernández, Washington de Carvalho-Segundo, Ana Cristina Rocha-Oliveira, Mauricio Ayala-Rincón
Publikováno v:
Ayala-Rincón, M, de Carvalho-Segundo, W, Fernández, M, Nantes-Sobrinho, D & Rocha-Oliveira, A C 2019, ' A formalisation of nominal α-equivalence with A, C, and AC function symbols ', Theoretical Computer Science, vol. 781, pp. 3-23 . https://doi.org/10.1016/j.tcs.2019.02.020
This paper describes a formalisation in Coq of nominal syntax extended with associative (A), commutative (C) and associative-commutative (AC) operators. This formalisation is based on a natural notion of nominal α-equivalence, avoiding the use of an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22067b4d5ee67a37ee4d3c94b8c193bd
https://doi.org/10.1016/j.tcs.2019.02.020
https://doi.org/10.1016/j.tcs.2019.02.020
Publikováno v:
Ayala-Rincón, M, Fernández, M, Rocha-Oliveira, A C & Ventura, D L 2018, ' Nominal essential intersection types ', Theoretical Computer Science . https://doi.org/10.1016/j.tcs.2018.05.008
Nominal systems are an alternative approach for the treatment of variables in computational systems, where first-order syntax is generalised to provide support for the specification of binding operators. In this work, an intersection type system is p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65c546de143fa95d1292dc19e9cbbfea
https://doi.org/10.1016/j.tcs.2018.05.008
https://doi.org/10.1016/j.tcs.2018.05.008
Autor:
Flávio L. C. de Moura, Ana Cristina Rocha-Oliveira, Ariane Alves Almeida, Thiago Mendonça Ferreira Ramos, Mauricio Ayala-Rincón
Publikováno v:
Formal Methods Teaching ISBN: 9783030324407
FMTea
FMTea
The construction of correct software, i.e. a computer program that meets a given specification, is an important goal in Computer Science. Nowadays, not only critical software (the ones used in aircraft, hospitals, banks, etc.) is supposed to provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de5a086d31dcaf3489ed50a4d7e3a7e7
https://doi.org/10.1007/978-3-030-32441-4_6
https://doi.org/10.1007/978-3-030-32441-4_6
Publikováno v:
LSFA
Nominal rewriting generalises first-order rewriting by providing support for the specification of binding operators. In this paper, we give sufficient conditions for (local) confluence of closed nominal rewriting theories, based on the analysis of ru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1819a88cf847e9cfb6d05e213b0f57ee
https://doi.org/10.1016/j.entcs.2016.06.004
https://doi.org/10.1016/j.entcs.2016.06.004
Publikováno v:
Journal of Automated Reasoning. 58:231-251
Orthogonality is a discipline of programming which syntactically guarantees determinism of functional specifications. Essentially, orthogonality avoids critical forks in term rewriting systems (TRSs) twofold: avoiding overlappings between left-hand s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::598c2066dcb01dbca8ecebfd9b6afc5a
https://doi.org/10.1007/s10817-016-9376-2
https://doi.org/10.1007/s10817-016-9376-2
Publikováno v:
Repositório Institucional da UnBUniversidade de BrasíliaUNB.
Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.
Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-02-01T15:08:06Z No. of bitstreams: 1 2016_AnaCr
Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-02-01T15:08:06Z No. of bitstreams: 1 2016_AnaCr
Externí odkaz:
http://repositorio.unb.br/handle/10482/22387
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 113, Iss Proc. LSFA 2012, Pp 145-152 (2013)
Orthogonality is a discipline of programming that in a syntactic manner guarantees determinism of functional specifications. Essentially, orthogonality avoids, on the one side, the inherent ambiguity of non determinism, prohibiting the existence of d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::129149b533c6546f001d47f5dad0afa5
Publikováno v:
LSFA
Nominal systems are an alternative approach for the treatment of variables in computational systems. In the nominal approach variable bindings are represented using techniques that are close to first-order logical techniques, instead of using a highe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86b9056998c5d7d66a96cc4c0cfa83ad