( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.

, , , и . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Vicente Rodríguez Carro

Aaron E Carroll

Rebecca Carroll

John Carroll

Mary Carroll

 

Другие публикации лиц с тем же именем

Some Paradigms for Visualizing Parallel Execution of Logic Programs., , и . ICLP, стр. 184-200. MIT Press, (1993)The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems., , , , , , и . APPIA-GULP-PRODE, стр. 105-110. (1996)Automatic Coding Rule Conformance Checking Using Logic Programs, , , , , и . CoRR, (2007)Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems., , , и . CoRR, (2016)Description, Implementation, and Evaluation of a Generic Design for Tabled CLP., и . CoRR, (2018)Towards execution time estimation in abstract machine-based languages., , , и . PPDP, стр. 174-184. ACM, (2008)A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 795-800. Springer, (2008)Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns., , , и . TFM, том 3294 из Lecture Notes in Computer Science, стр. 85-106. Springer, (2004)Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations., , и . ICSOC, том 7084 из Lecture Notes in Computer Science, стр. 62-76. Springer, (2011)A model-driven approach to teaching concurrency., , и . TOCE, 13 (1): 5:1-5:19 (2013)