Search Results - Concurrent Constraint Programming Abstract Interpretation~
-
1
Authors:
Contributors:
Source: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. :207-218
Subject Terms: Concurrent Constraint Programming Abstract Interpretation, Abstract interpretation, Denotational semantics, Process calculi, Reactive systems, Timed concurrent constraint programming, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 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: http://hal.inria.fr/docs/00/42/66/08/PDF/ppdp21-olarte.pdf
https://inria.hal.science/inria-00426608v1
https://inria.hal.science/inria-00426608v1/document
https://doi.org/10.1145/1599410.1599436
https://dl.acm.org/doi/10.1145/1599410.1599436
http://portal.acm.org/citation.cfm?doid=1599410.1599436
https://hal.inria.fr/inria-00426608
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2009.html#FalaschiOP09
https://usiena-air.unisi.it/handle/11365/37187
https://hal.inria.fr/inria-00426608/document
https://hdl.handle.net/11365/37187
https://doi.org/10.1145/1599410.1599436 -
2
Authors: et al.
Contributors: et al.
Source: Theory and Practice of Logic Programming. 15:312-357
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, Denotational semantics, F.3.1, D.3.2, process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract interpretation, timed concurrent constraint programming, process calculi, abstract interpretation, denotational semantics, reactive systems, 16. Peace & justice, Logic in Computer Science (cs.LO), Reactive systems, 13. Climate action, Timed concurrent constraint programming, timed concurrent constraint programming, denotational semantics
File Description: application/pdf; STAMPA
Access URL: http://arxiv.org/pdf/1312.2552
http://arxiv.org/abs/1312.2552
https://inria.hal.science/hal-00945462v1
https://arxiv.org/abs/1312.2552
https://hal.archives-ouvertes.fr/hal-01271663
https://repositorio.ufrn.br/jspui/handle/123456789/29777
https://doi.org/10.1017/S1471068413000641
http://ui.adsabs.harvard.edu/abs/2013arXiv1312.2552F/abstract
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming /article/abstract -interpretation -of-temporal-concurrent -constraint -programs/79AB54B8007AA797C1631A461FD7CE2B
https://dblp.uni-trier.de/db/journals/corr/corr1312.html#FalaschiOP13
http://journals.cambridge.org/article_S1471068413000641
https://doi.org/10.1017/S1471068413000641
https://hdl.handle.net/11365/46493 -
3
Authors:
Source: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming. :127-138
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
4
-
5
Authors:
Contributors:
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.1995; http://www.di.unipi.it/~dipierro/papers/PPDP00.ps
-
6
Authors: Titolo, Laura
Subject Terms: Concurrent Constraint Paradigm, Abstract Interpretation, Semantics, Formal Verification, Timed Concurrent Constraint Programming
File Description: application/pdf
Access URL: http://hdl.handle.net/10990/495
-
7
Authors:
Source: Theory & Practice of Logic Programming; May2015, Vol. 15 Issue 3, p312-357, 46p
-
8
Authors: et al.
Source: Electronic Notes in Theoretical Computer Science. 112:19-36
Subject Terms: Abstract Interpretation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Timed Concurrent Constraint Programming, Model Checking, Theoretical Computer Science, Computer Science(all)
-
9
Authors:
Source: ICLP95 WS on Abstract Interpretation of Logic Languages | ICLP95 WS on Abstract Interpretation of Logic Languages | June, 1995 | Japan
Archivo Digital UPM
instnameSubject Terms: Informática, Modelo de Andorra, Análisis de programas, Programación restringida concurrente, Program analysis, Andorra model, Abstract interpretation, Interpretación de resúmenes, Concurrent constraint programming
File Description: application/pdf
Access URL: https://oa.upm.es/14685/
-
10
Authors: et al.
Source: Theoretical Computer Science. 346:58-95
Subject Terms: Model checking, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Specification and verification (program logics, model checking, etc.), Timed Concurrent Constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, timed concurrent constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
File Description: application/xml
-
11
Authors:
Source: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming. :115-126
Subject Terms: 0102 computer and information sciences, 0101 mathematics, abstract interpretation, concurrent constraint programming, domain complementation, program semantics, 01 natural sciences
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
File Description: application/pdf
-
13
Authors:
Subject Terms: Programación simultánea restringida, Paralelización, Compile-time analysis, Independent and-parallelism, Program transformation, Parallelization, Abstract interpretation, Programación lógica restringida, Interpretación abstracta, análisis del tiempo de compilación, (Constraint) Logic programming, Concurrent constraint programming, Transformación de programas
Access URL: https://oa.upm.es/15081/
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Timed Concurrent Constraint programming, Abstract interpretation, Model checking
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7978; http://150.214.108.177/pubs/doc/205.pdf
-
15
Authors:
Contributors:
Subject Terms: analysis, F.1.2 [Theory of Computation, Modes of Computation—Probabilistic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.6562; http://www.doc.ic.ac.uk/~herbert/papers/ppdp00.pdf
-
16
Authors:
Contributors:
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.447; http://profs.sci.univr.it/~dipierro/papers/PPDP00.ps
-
17
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783540584025
Subject Terms: success semantics, constraint logic programs, Data flow analysis, constraint logic programming, semantics, 0202 electrical engineering, electronic engineering, information engineering, data-flow analysis, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Logic programming, 01 natural sciences
File Description: application/xml
Access URL: https://zbmath.org/1332633
https://link.springer.com/chapter/10.1007/3-540-58402-1_6
https://www.cs.unipr.it/~zaffanella/Papers/PDF/JFLP97.pdf
https://rd.springer.com/chapter/10.1007/3-540-58402-1_6
http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#ZffanellaGL94
https://core.ac.uk/display/24730043
http://www.cs.unipr.it/~zaffanella/Papers/PDF/JFLP97.pdf
https://hdl.handle.net/11562/438159 -
18
-
19
Authors:
Source: Theory & Practice of Logic Programming; Jul2011, Vol. 11 Issue 4/5, p487-502, 16p
Subject Terms: CONSTRAINT satisfaction, DEBUGGING, SEMANTIC computing, DENOTATIONAL semantics, COMPUTER science, ALGORITHMS
-
20
Authors: et al.
Source: ENTCS: Electronic Notes in Theoretical Computer Science. Dec2004, Vol. 112, p19-36. 18p.
Subject Terms: Programming languages, Information theory, Computer software, Algorithms
Nájsť tento článok vo Web of Science 
Full Text Finder