Jump to Navigation

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, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia
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


Main menu 2

Biblio | by Dr. Radut