Search Results - (("logic and constraint programming") OR ("login and constraint programming"))*
-
1
-
2
Authors:
Source: HCVS 2021 : Horn Clauses for Verification and Synthesis | 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS) | 28 Mar 2021 | Luxemburgo
Archivo Digital UPM
Universidad Politécnica de Madrid
Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 2
instnameSubject Terms: Fixpoint algorithms, Informática, I.2.2, FOS: Computer and information sciences, I.2.3, D.2.4, F.3.1, Computer Science - Programming Languages, Incremental analysis, Program analysis, Abstract interpretation, Logic and constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Modular analysis, 0202 electrical engineering, electronic engineering, information engineering, Constrained Horn clauses, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: http://arxiv.org/pdf/1804.01839
http://arxiv.org/abs/1804.01839
https://oa.upm.es/70154/
https://oa.upm.es/70098/
https://www.cambridge.org/core/journals/theory-and-practice-of-logic -programming /article/incremental-and-modular-contextsensitive-analysis/E4123610FEF4488AE3F983162746CA89
https://doi.org/10.1017/S1471068420000496
https://dblp.uni-trier.de/db/journals/tplp/tplp21.html#Garcia-Contreras21
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E4123610FEF4488AE3F983162746CA89/S1471068420000496a.pdf/div-class-title-incremental-and-modular-context-sensitive-analysis-div.pdf
https://arxiv.org/abs/1804.01839
https://arxiv.org/pdf/1804.01839 -
3
Authors: et al.
Contributors: et al.
Source: Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 6
Archivo Digital UPM
instname
Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)
Universidad Politécnica de MadridSubject Terms: Informática, FOS: Computer and information sciences, Program development environments, Computer Science - Programming Languages, On-the-fly assertion checking, Incremental analysis, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, Logic and constraint programming, 02 engineering and technology, Static analysis, Programming Languages (cs.PL)
File Description: application/pdf
-
4
Authors: Hermenegildo, Manuel V.
Source: Parallel computing, ISSN 0167-8191, 2000, Vol. 26, No. 13-14
Archivo Digital UPM
Universidad Politécnica de Madrid
instnameSubject Terms: Informática, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), pointer aliasing analysis, Granularity control, irregular computations, automatic parallelization, 02 engineering and technology, Irregular computations, Logic programming, Pointer aliasing analysis, granularity control, Automatic parallelization, cost analysis, Cost analysis, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation
File Description: application/pdf; application/xml
-
5
Authors: Guy A. Narboni
Source: Constraints. 4:313-335
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
6
Authors:
Contributors:
Source: https://hal.science/hal-02977750 ; 2022.
Subject Terms: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, Realizability semantics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2012.04752; ARXIV: 2012.04752
-
7
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783540770497
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Access URL: http://pauillac.inria.fr/~fages/Papers/HFS07fsttcs.pdf
https://hal.science/hal-01779531v1
https://link.springer.com/content/pdf/10.1007%2F978-3-540-77050-3_45.pdf
https://hal.archives-ouvertes.fr/hal-01779531
http://www.clip.dia.fi.upm.es/~remy/pub/HFS07fsttcs.pdf
https://link.springer.com/chapter/10.1007/978-3-540-77050-3_45
https://rd.springer.com/chapter/10.1007/978-3-540-77050-3_45
http://pauillac.inria.fr/~fages/Papers/HFS07fsttcs.pdf -
8
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-02895111 ; 2021.
Subject Terms: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.16077; ARXIV: 2007.16077
-
9
Authors:
Contributors:
Source: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021.
Subject Terms: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, Realizability semantics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2012.04752; hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750v6/document; https://hal.archives-ouvertes.fr/hal-02977750v6/file/main.pdf; ARXIV: 2012.04752
-
10
Authors:
Contributors:
Source: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021.
Subject Terms: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2012.04752; hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750v4/document; https://hal.archives-ouvertes.fr/hal-02977750v4/file/main.pdf; ARXIV: 2012.04752
-
11
Authors:
Contributors:
Source: Mathematical Structures in Computer Science. 29:1125-1150
Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], type theory, higher order constraint logic programming, logic programming, constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences
File Description: application/pdf
Access URL: https://hal.inria.fr/hal-01410567/file/dalefest.pdf
https://inria.hal.science/hal-01410567v3
https://dblp.uni-trier.de/db/journals/mscs/mscs29.html#GuidiCT19
https://hal.inria.fr/hal-01410567/document
https://hal.archives-ouvertes.fr/hal-01410567v3
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/implementing-type-theory-in-higher-order-constraint -logic -programming /AB210BBE8C489B129C8A09AFCB2B905F
https://hal.inria.fr/hal-01410567v2
http://journals.cambridge.org/action/displayJournal?jid=MSC
https://hdl.handle.net/11585/698621
https://doi.org/10.1017/S0960129518000427 -
12
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783030753320
Subject Terms: Functional programming, logic programming, constraint programming, 5. Gender equality, 10. No inequality, 7. Clean energy, 3. Good health
File Description: application/pdf
-
13
Authors: Hermenegildo, Manuel V.
Source: Euro-Par'97 Parallel Processing | Third International Euro-Par Conference | August 26-29, 1997 | Passau, Germany
Subject Terms: Informática
File Description: application/pdf
Availability: https://oa.upm.es/14555/
-
14
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/hal-02895111 ; 2020.
Subject Terms: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.16077; hal-02895111; https://hal.archives-ouvertes.fr/hal-02895111; https://hal.archives-ouvertes.fr/hal-02895111v2/document; https://hal.archives-ouvertes.fr/hal-02895111v2/file/main-HAL.pdf; ARXIV: 2007.16077
-
15
Authors:
Contributors:
Source: https://hal.archives-ouvertes.fr/hal-02977750 ; 2020.
Subject Terms: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750v2/document; https://hal.archives-ouvertes.fr/hal-02977750v2/file/main.pdf
-
16
Authors: et al.
Contributors: et al.
Source: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2017) ; https://hal.science/hal-01447818 ; International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2017), Jun 2017, Padova, Italy. pp.359-375 ; http://cpaior2017.dei.unipd.it/
Subject Terms: Tree decomposition, Graphs, Integer linear programming, Constraint programming, Sum colouring problem, Colouring, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.4: Integer programming, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Italy
Time: Padova, Italy
-
17
Authors:
Contributors:
Source: ftp://clip.dia.fi.upm.es/pub/papers/tutorial-europar97.ps.gz
Subject Terms: Automatic Parallelization, Irregular Computations, Speculation, Pointer Aliasing Analysis, Task Granularity Control, Global Analysis, Abstract Interpretation
File Description: application/postscript
-
18
Authors:
Source: コンピュータ ソフトウェア / Computer Software. 2008, 25(3):3-49
-
19
Authors: et al.
Contributors: et al.
Source: JFPC 2016 – Douzièmes Journées Francophones de Programmation par Contraintes ; Douzièmes Journées Francophones de Programmation par Contraintes (JFPC 2016) ; https://hal.science/hal-01309350 ; Douzièmes Journées Francophones de Programmation par Contraintes (JFPC 2016), Jun 2016, Montpellier, France. pp.1-10 ; https://www.supagro.fr/jfpc_jiaf_2016/index_jfpc.php
Subject Terms: complete approaches, variable choice heuristics, CSP, graphs, sum colouring, approches complètes, somme coloration, graphes, heuristiques de choix de variables, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.0: Constrained optimization, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Montpellier, France
-
20
Authors: et al.
Subject Terms: Ciencias Informáticas, programación entera, Logic and constraint programming
File Description: application/pdf
Availability: http://sedici.unlp.edu.ar/handle/10915/58470
Nájsť tento článok vo Web of Science 
Full Text Finder