Filter your results
- 24
- 10
- 18
- 11
- 3
- 1
- 1
- 32
- 5
- 2
- 2
- 1
- 1
- 2
- 4
- 3
- 1
- 2
- 2
- 4
- 2
- 2
- 1
- 2
- 1
- 3
- 1
- 31
- 3
- 24
- 17
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 34
- 23
- 6
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
34 Results
|
|
sorted by
|
Typing Linear Constraints for Moding CLP() ProgramsStatic Analysis, 15th International Symposium, SAS 2008, Jul 2008, Valencia, Spain. pp.128--143
Conference papers
hal-01188719v1
|
|||
|
Towards a Framework for Algorithm Recognition in Binary Code18th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2016, Edinburgh, United Kingdom. pp.202--213
Conference papers
hal-01451686v1
|
||
|
A second-order formulation of non-terminationInformation Processing Letters, 2015, 115 (11), pp.882--885. ⟨10.1016/j.ipl.2015.05.012⟩
Journal articles
hal-01451689v1
|
||
Logic-Based Program Synthesis and Transformation2019
Books
hal-02293707v1
|
|||
|
Termination Competition (termCOMP 2015)CADE-25 - 25th International Conference on Automated Deduction, Aug 2015, Berlin, Germany. pp.105--108, ⟨10.1007/978-3-319-21401-6_6⟩
Conference papers
hal-01451691v1
|
||
|
Detecting Optimal Termination Conditions of Logic Programs9th International Static Analysis Symposium (SAS 2002), Sep 2002, Madrid, Spain. pp.509-525
Conference papers
hal-01915746v1
|
||
|
A Non-Termination Criterion for Binary Constraint Logic ProgramsTheory and Practice of Logic Programming, 2009, 9 (2), pp.145-164
Journal articles
hal-01186175v1
|
||
|
Effects of Melting Layer in Airborne Meteorological X-Band Radar ObservationsIEEE Transactions on Geoscience and Remote Sensing, 2012, 50 (6), pp.2318-2324. ⟨10.1109/TGRS.2011.2172111⟩
Journal articles
hal-01010119v1
|
||
A Termination Analyzer for Java Bytecode Based on Path-LengthACM Transactions on Programming Languages and Systems (TOPLAS), 2010, ACM Transactions on Programming Languages and Systems, 32 (3), 70 p
Journal articles
hal-01186167v1
|
|||
|
Using CLP Simplifications to Improve Java Bytecode Termination AnalysisFourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. pp.129--144, ⟨10.1016/j.entcs.2009.11.019⟩
Conference papers
hal-01188704v1
|
||
Variable ranges in linear constraints2010 ACM Symposium on Applied Computing (SAC), Mar 2010, Sierre, Switzerland. pp.2061--2065
Conference papers
hal-01188040v1
|
|||
|
Structural characteristics of rainfieldsJournal of Geophysical Research, 2003, 108 (3), pp.D002808. ⟨10.1029/2002JD002808⟩
Journal articles
istex
hal-00137821v1
|
||
|
An SMT-Based Concolic Testing Tool for Logic ProgramsNakano K.; Sagonas K. Functional and Logic Programming. FLOPS 2020, 12073, Springer, pp.215-219, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-59025-3_13⟩
Book sections
hal-02945459v1
|
||
|
Détection des fonctions de rang linéaires à termeJournées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France
Conference papers
hal-01187205v1
|
||
|
A new look at the automatic synthesis of linear ranking functionsInformation and Computation, 2012, 215, pp.47-67. ⟨10.1016/j.ic.2012.03.003⟩
Journal articles
hal-01186145v1
|
||
|
Selective Unification in Constraint Logic Programming19th International Symposium on Principles and Practice of Declarative Programming (PPDP'17), Oct 2017, Namur, Belgium. pp.115-126
Conference papers
hal-01579772v1
|
||
|
On the Completeness of Selective Unification in Concolic Testing of Logic Programs26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Sep 2016, Edinburgh, United Kingdom. pp.205-221
Conference papers
hal-01451698v1
|
||
|
Termination analysis of floating-point programs using parameterizable rational approximations31st Annual ACM Symposium on Applied Computing (SAC), Apr 2016, Pise, Italy. pp.1674--1679, ⟨10.1145/2851613.2851834⟩
Conference papers
hal-01451687v1
|
||
|
Optimal approximation for efficient termination analysis of Floating-point Loops1st International Conference on Next Generation Computing Applications (NextComp2017), Jul 2017, Pointe aux Piments, Mauritius. pp.17-22, ⟨10.1109/NEXTCOMP.2017.8016170⟩
Conference papers
hal-01579791v1
|
||
|
Eventual linear ranking functions15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Sep 2013, Madrid, Spain. pp.229--238, ⟨10.1145/2505879.2505884⟩
Conference papers
hal-01451694v1
|
||
|
Typing linear constraintsACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 32 (6), pp.en ligne. ⟨10.1145/1749608.1749610⟩
Journal articles
hal-01186162v1
|
||
|
Inférence de non-terminaison pour les programmes logiques avec contraintes13èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC 2004), Association Française pour la Programmation en Logique et la programmation par Contraintes, Jun 2004, Angers, France. pp.55-72
Conference papers
hal-01915272v1
|
||
|
Non-Termination Inference of Logic Programs2004
Preprints, Working Papers, ...
hal-00129526v1
|
||
|
A Termination Analyser for Java Bytecode Based on Path-LengthACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 32 (3), pp.70
Journal articles
hal-01916989v1
|
||
|
An improved non-termination criterion for binary constraint logic programs15th International Workshop on Logic Programming Environments (WLPE'05), Universidad Politécnica de Madrid; Technische Universiteit Eindhoven, Oct 2005, Barcelone, Spain. pp.46-60
Conference papers
hal-01915757v1
|
||
|
A Generalization of the Lifting Lemma for Logic Programming2002
Preprints, Working Papers, ...
hal-00129469v1
|
||
Recurrence with affine level mappings is P-time decidable for CLP(R)TPLP, 2008, 8 (1), pp.111-119
Journal articles
hal-01186188v1
|
|||
|
cTI : un outil pour l’inférence de conditions optimales de terminaison pour Prolog10eme Journées francophones de programmation logique et programmation par contraintes ( JFPLC’2001), Association Française pour la Programmation en Logique et la programmation par Contraintes (AFPLC), Apr 2001, Paris, France. pp.271-286
Conference papers
hal-01921705v1
|
||
|
Concolic Testing in CLPTheory and Practice of Logic Programming, 2020, 20 (5), pp.671-686. ⟨10.1017/s1471068420000216⟩
Journal articles
hal-03064580v1
|
||
|
Selective Unification in Constraint Logic Programming2018
Preprints, Working Papers, ...
hal-01922118v1
|
- 1
- 2