Publications tagged "Constraint Systems"
Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
2017
-
Martin Avanzini and Michael Schaper. “GUBS Upper Bound Solver (Extended Abstract)”. Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARAETAPS 2017, Uppsala, Sweden, April 22-23, 2017, volume 248 of EPTCS, pages 17–23, (2017).