تحميل...
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving
Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In this setting, Order-Sorted First-Order Logic provides a powerfu...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
Open Publishing Association
2015-12-01
|
| سلاسل: | Electronic Proceedings in Theoretical Computer Science |
| الوصول للمادة أونلاين: | http://arxiv.org/pdf/1512.06943v1 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|