High-level already published papers
Listado de artículos correspondientes a la sesión High Level already published papers
- Space Consumption Analysis by Abstract Interpretation: Reductivity Properties (High-level Work)
- An operational framework to reason about policy behavior in trust management systems (High-level Work)
- A fuzzy approach to cloud admission control for safe overbooking (High-level Work)
- Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio (High-level Work)
- Correctness of Incremental Model Synchronization with Triple Graph Grammars (High-level Work)
- Using Big-step and Small-step Semantics to Perform Declarative Debugging (High-level Work)
- EDD: A Declarative Debugger for Sequential Erlang Programs (High-level Work)