Keyword:evaluation strategies

Publications
Hybrid Intersection Types for PCF Pablo Barenbaum, Delia Kesner and Mariana Milicich In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Strategy to Evaluate and Measure the Degree of Openness of Cloud Services Environment Narayan Debnath, Mario Gabriel Peralta, Carlos Humberto Salgado, Lorena Baigorria, German Montejano, Daniel Riesco and Emdad Ahmed In:Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering
Analyzing Runtime Complexity via Innermost Runtime Complexity Florian Frohn and Jürgen Giesl In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning