|
|
|
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Inhalt: |
| Testing for Robotic Systems.- Automated Termination and Complexity Analysis.- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting.- Gonnord Confluence Framework: Proving Confluence with CONFident.-Variant-based Equational Anti-unification.- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs.- Building a Join-Optimizer for Souffl¿e.- From Infinity to Choreographies: Extraction for Unbounded Systems.- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming.- On Correctness of Normal Logic Programs. |
|
i.d.R. innert 5-10 Tagen versandfertig
Newsfeed | 
Facebook | 
Twitter
