A discretized operational semantics for the implementation of Hy-tccp

TitleA discretized operational semantics for the implementation of Hy-tccp
Publication TypeConference Paper
Year of Publication2015
AuthorsGallardo M-del-M, Panizo L, Titolo L
Conference NameJornadas sobre Programación y Lenguajes, PROLE 2015
Date Published09/2015
PublisherNavarro, M. (Ed.)
Conference LocationSantander, Spain
URLhttps://biblioteca.sistedes.es/articulo/a-discretized-operational-semantics-for-the-implementation-of-hy-tccp/