An Abstract analysis framework for synchronous concurrent languages based on source-to-source transformation

TitleAn Abstract analysis framework for synchronous concurrent languages based on source-to-source transformation
Publication TypeConference Paper
Year of Publication2007
AuthorsFrasnedo MAlpuente, Gallardo M-del-M, Pimentel E, Garcia AVillanueva
Conference NameErnesto Pimentel (Ed.). VII Jornadas de Programación y Lenguajes PROLE 2007, Zaragoza, 12 al 14 de septiembre
Date Publishednov
Conference LocationMadrid, Spain
ISBN Number978-84-9732-599-8