Abstract interpretation of temporal concurrent constraint programs

article

Fecha

2014

Registro en:

FALASCHI, Moreno; OLARTE, Carlos; PALAMIDESSI, Catuscia. Abstract interpretation of temporal concurrent constraint programs. Theory and Practice of Logic Programming, [S.L.], v. 15, n. 3, p. 312-357, 10 fev. 2014. Disponível em: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abstract-interpretation-of-temporal-concurrent-constraint-programs/79AB54B8007AA797C1631A461FD7CE2B. Acesso em: 30 jul. 2020. https://doi.org/10.1017/S1471068413000641

1475-3081

https://repositorio.ufrn.br/jspui/handle/123456789/29777

10.1017/S1471068413000641

http://repositorioslatinoamericanos.uchile.cl/handle/2250/3969834

Autor

Falaschi, Moreno

Palamidessi, Catuscia

Vega, Carlos Alberto Olarte

Institución

Universidade Federal do Rio Grande do Norte (Brasil)

Materias

Timed concurrent constraint programming

Process calculi

Abstract interpretation

Denotational semantics

Reactive systems

Mostrar el registro completo del ítem