Filtrer vos résultats
- 25
- 10
- 18
- 12
- 3
- 1
- 1
- 33
- 5
- 2
- 3
- 1
- 1
- 2
- 4
- 3
- 1
- 2
- 2
- 4
- 2
- 2
- 1
- 2
- 1
- 3
- 1
- 32
- 3
- 25
- 17
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 35
- 24
- 6
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
35 résultats
|
|
triés par
|
Typing Linear Constraints for Moding CLP() ProgramsStatic Analysis, 15th International Symposium, SAS 2008, Jul 2008, Valencia, Spain. pp.128--143
Communication dans un congrès
hal-01188719v1
|
|||
|
A second-order formulation of non-terminationInformation Processing Letters, 2015, 115 (11), pp.882--885. ⟨10.1016/j.ipl.2015.05.012⟩
Article dans une revue
hal-01451689v1
|
||
|
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
Communication dans un congrès
hal-01451686v1
|
||
Logic-Based Program Synthesis and Transformation2019
Ouvrages
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⟩
Communication dans un congrès
hal-01451691v1
|
||
|
A Non-Termination Criterion for Binary Constraint Logic ProgramsTheory and Practice of Logic Programming, 2009, 9 (2), pp.145-164
Article dans une revue
hal-01186175v1
|
||
|
Detecting Optimal Termination Conditions of Logic Programs9th International Static Analysis Symposium (SAS 2002), Sep 2002, Madrid, Spain. pp.509-525
Communication dans un congrès
hal-01915746v1
|
||
|
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⟩
Article dans une revue
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
Article dans une revue
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⟩
Communication dans un congrès
hal-01188704v1
|
||
Variable ranges in linear constraints2010 ACM Symposium on Applied Computing (SAC), Mar 2010, Sierre, Switzerland. pp.2061--2065
Communication dans un congrès
hal-01188040v1
|
|||
|
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
Communication dans un congrès
hal-01451698v1
|
||
|
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⟩
Communication dans un congrès
hal-01579791v1
|
||
|
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⟩
Communication dans un congrès
hal-01451687v1
|
||
|
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⟩
Communication dans un congrès
hal-01451694v1
|
||
|
Typing linear constraintsACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 32 (6), pp.en ligne. ⟨10.1145/1749608.1749610⟩
Article dans une revue
hal-01186162v1
|
||
|
Selective Unification in Constraint Logic Programming19th International Symposium on Principles and Practice of Declarative Programming (PPDP'17), Oct 2017, Namur, Belgium. pp.115-126
Communication dans un congrès
hal-01579772v1
|
||
|
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⟩
Chapitre d'ouvrage
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
Communication dans un congrès
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⟩
Article dans une revue
hal-01186145v1
|
||
|
Structural characteristics of rainfieldsJournal of Geophysical Research, 2003, 108 (3), pp.D002808. ⟨10.1029/2002JD002808⟩
Article dans une revue
istex
hal-00137821v1
|
||
|
Non-termination of Dalvik bytecode via compilation to CLP14th International Workshop on Termination (WST), Jul 2014, Vienne, Austria. pp.65-69
Communication dans un congrès
hal-01451692v1
|
||
|
Selective Unification in Constraint Logic Programming2018
Pré-publication, Document de travail
hal-01922118v1
|
||
|
Concolic testing in logic programmingTheory and Practice of Logic Programming, 2015, 15 (4-5), pp.711-725. ⟨10.1017/S1471068415000332⟩
Article dans une revue
hal-01451690v1
|
||
|
Non-Termination Inference for Optimal Ter-mination Conditions of Logic Programs11èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'02), Association Française pour la Programmation en Logique et la programmation par Contraintes (AFPLC), May 2002, Nice, France. pp.84-104
Communication dans un congrès
hal-01915407v1
|
||
|
On the Linear Ranking Problem for Simple Floating-Point Loops23rd International Symposium on Static Analysis (SAS), Sep 2016, Edinburgh, United Kingdom. pp.300-316, ⟨10.1007/978-3-662-53413-7_15⟩
Communication dans un congrès
hal-01451688v1
|
||
|
Concolic Testing in CLPTheory and Practice of Logic Programming, 2020, 20 (5), pp.671-686. ⟨10.1017/s1471068420000216⟩
Article dans une revue
hal-03064580v1
|
||
Recurrence with affine level mappings is P-time decidable for CLP(R)TPLP, 2008, 8 (1), pp.111-119
Article dans une revue
hal-01186188v1
|
|||
|
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
Communication dans un congrès
hal-01915272v1
|
||
|
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
Communication dans un congrès
hal-01915757v1
|
- 1
- 2