An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva. An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electronic Notes in Theoretical Computer Science, 206:3-21, 2008. [doi]

Identified as María Alpuente This author has not been identified. Look up 'María-del-Mar Gallardo' in GoogleIdentified as Ernesto Pimentel This author has not been identified. Look up 'Alicia Villanueva' in Google

runs on WebDSL