Výsledky vyhledávání - Concurrent constraint logic programming*

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages

Autoři: Ho-fung Leung Jimmy H. M. Lee

Zdroj: Computer Languages. 25:119-144

Témata: constraint logic programming, incremental queries, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0096055199000132
http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf
https://dblp.uni-trier.de/db/journals/cl/cl25.html#LeeL99

ATTRIBUTE GRAMMAR BASED MODELING OF CONCURRENT CONSTRAINT LOGIC PROGRAMMING

Autoři: Nikitas M. Sgouros George K. Papakonstantinou C. Voliotis

Zdroj: International Journal on Artificial Intelligence Tools. :383-411

Témata: 0209 industrial biotechnology, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Actors as a special case of concurrent constraint (logic) programming

Autoři: Vijay Saraswat Ken Kahn

Zdroj: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications - OOPSLA/ECOOP '90. :57-66

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Unfolding and fixpoint semantics of concurrent constraint logic programs

Autoři: Giorgio Levi Maurizio Gabbrielli

Zdroj: Lecture Notes in Computer Science ISBN: 9783540531623

Témata: Artificial intelligence, reactive trees, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, concurrent constraint logic languages, Logic programming, 01 natural sciences, unfolding, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/3-540-53162-9_40
https://www.sciencedirect.com/science/article/pii/030439759290288Q
https://doi.org/10.1016/0304-3975(92)90288-Q
https://dblp.uni-trier.de/db/journals/tcs/tcs105.html#GabbrielliL92
https://link.springer.com/chapter/10.1007/3-540-53162-9_40
https://link.springer.com/content/pdf/10.1007%2F3-540-53162-9_40.pdf

A confluent semantic basis for the analysis of concurrent constraint logic programs

Autoři: Codish, Michael FALASCHI, MORENO Marriott, Kim a další

Přispěvatelé: Codish, Michael FALASCHI, MORENO Marriott, Kim a další

Zdroj: The Journal of Logic Programming. 30:53-81

Témata: Concurrent constraint logic program, Logic, Confluent semantic, Semantics in the theory of computing, Parallelism, Program analysis, Abstract interpretation, Abstract interpretations, Concurrent constraint logic programs, Confluent semantics, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, 0202 electrical engineering, electronic engineering, information engineering, concurrent constraint logic languages

Popis souboru: application/xml; STAMPA

Přístupová URL adresa: http://www.sciencedirect.com/science/article/pii/S0743106696000131
https://dblp.uni-trier.de/db/journals/jlp/jlp30.html#CodishFMW97
https://www.sciencedirect.com/science/article/pii/S0743106696000131
https://research.monash.edu/en/publications/a-confluent-semantic-basis-for-the-analysis-of-concurrent-constra
https://usiena-air.unisi.it/handle/11365/983735

IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming

Autoři: Ho-fung Leung Jimmy H. M. Lee

Zdroj: Proceedings of the 1994 ACM symposium on Applied computing - SAC '94. :405-409

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dl.acm.org/doi/10.1145/326619.326795
http://portal.acm.org/citation.cfm?doid=326619.326795
https://dblp.uni-trier.de/db/conf/sac/sac1994.html#LeeL94

A history of the Oz multiparadigm language

Autoři: Van Roy, Peter Haridi, Seif Schulte, Christian a další

Zdroj: Proceedings of the ACM on Programming Languages. 4(HOPL)

Témata: Computer programming, Concurrent programming, Dataflow, Distributed programming, Functional programming, Lazy evaluation, Logic programming, Multiparadigm programming, Programming education, Calculations, Concurrent constraint, Concurrent logic programming, Constraint Logic Programming, Foundational calculus, Layered Structures, Multi-paradigm languages, Programming course, Programming paradigms, PROLOG (programming language)

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

Concurrent Constraint Logic Programming

Autoři: Thom Frühwirth Slim Abdennadher

Zdroj: Cognitive Technologies ISBN: 9783642087127

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-662-05138-2_6
https://link.springer.com/chapter/10.1007/978-3-662-05138-2_6

Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system

Autoři: Manuel V. Hermenegildo

Zdroj: Lecture Notes in Computer Science ISBN: 9783540586012

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-58601-6_95.pdf
https://doi.org/10.1007/3-540-58601-6_95
https://link.springer.com/chapter/10.1007/3-540-58601-6_95
https://dblp.uni-trier.de/db/conf/ppcp/ppcp94-lncs.html#Hermenegildo94
https://rd.springer.com/chapter/10.1007/3-540-58601-6_95

Logic programming in the context of multiparadigm programming: the Oz experience

Autoři: Van Roy, P. Brand, P. Duchier, D. a další

Zdroj: Theory and Practice of Logic Programming. 3:717-763

Témata: multiparadigm programming, language design, Prolog, Oz, encapsulated search, concurrent constraint programming, history, software development, languages, machine

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-23023

Analysis of concurrent constraint logic programs with a fixed scheduling rule

Autoři: Bueno Carrillo, Francisco Hermenegildo, Manuel V.

Zdroj: ICLP95 WS on Abstract Interpretation of Logic Languages | ICLP95 WS on Abstract Interpretation of Logic Languages | June, 1995 | Japan
Archivo Digital UPM
instname

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://oa.upm.es/14685/

A logic semantics for a class of nondeterministic concurrent constraint logic programs

Autoři: Ho-fung Leung Bo-Ming Tong

Zdroj: Proceedings of the International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN). :342-349

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/ispan/ispan1994.html#LeungT94

IQ: Towards Incremental Query Processing in Non-Deterministic Concurrent Constraint Logic Programming

Autoři: J. H. M. Lee H.F. Leung The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: J. H. M. Lee H.F. Leung The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cse.cuhk.edu.hk/~isl/paper/jlee/94/iq.ps.gz.

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.1298; http://www.cse.cuhk.edu.hk/~isl/paper/jlee/94/iq.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.1298
http://www.cse.cuhk.edu.hk/~isl/paper/jlee/94/iq.ps.gz

Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers

Autoři: Bo-Ming Tong Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Bo-Ming Tong Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.cs.cuhk.hk/pub/techreports/./93/ilps93.ps.gz

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.5919

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.5919

Actors as a special case of concurrent constraint (logic) programming

Autoři: Kahn, K. Saraswat, Vijay A.

Zdroj: ACM SIGPLAN Notices ; volume 25, issue 10, page 57-66 ; ISSN 0362-1340 1558-1160

Dostupnost: https://doi.org/10.1145/97946.97955
https://dl.acm.org/doi/pdf/10.1145/97946.97955

Implementation Of Concurrent Constraint Transaction Logic And Its User Interface

Autoři: Altunyuva, Fethi

Thesis Advisors: Senkul, Pinar

Témata: QA Electronic Computers, Computer Science 75.5-76.95, Concurrent Transaction Logic, Workflow Scheduling, Constraint Logic Programming, Resource Allocation

Popis souboru: text/pdf

Dostupnost: http://etd.lib.metu.edu.tr/upload/12607623/index.pdf

Automated Programming Framework Using Constraint-Based Static Analysis / 制約充足に基づく静的解析手法を用いたプログラミングの自動化に関する研究 : 推論・論理プログラミング(<特集>「人工知能分野における博士論文」)

Autoři: 網代 育大

Zdroj: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2002, 17(6):779

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems

Autoři: Hermenegildo, Manuel V. Cabeza Gras, Daniel Carro Liñares, Manuel

Zdroj: Logic Programming ISBN: 9780262291439
Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming | Twelfth International Conference on Logic Programming | June 13-16, 1995 | Tokyo, Japan
Archivo Digital UPM
instname

Témata: Informática, Generic implementations, Técnicas de ejecución, Variables atribuídas, Implementation techniques, Concurrency parallelism, Logic programming, Attributed variables, Implementaciones genéricas, Programación lógica

Popis souboru: application/pdf

Přístupová URL adresa: http://oa.upm.es/14423/1/HERME_ARC_1995-2.pdf
https://oa.upm.es/14423/

An Execution Scheme for Interactive Problem-Solving in Concurrent Constraint Logic Programming Languages

Autoři: Jimmy H. M. Lee Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jimmy H. M. Lee Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf.

Témata: Incremental Execution, Concurrent Constraint Logic Program

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.629.7925; http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.629.7925
http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf

On the uses of attributed variables in parallel and concurrent logic programming systems

Autoři: Hermenegildo, Manuel V. Cabeza Gras, Daniel Carro Liñares, Manuel

Zdroj: Proceedings of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies | 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies | September 1994 | Madrid, Spain
Archivo Digital UPM
Universidad Politécnica de Madrid
instname

Témata: Informática, Generic implementations, Variables atribuídas, Concurrencia, Concurrency, Parallelism, Logic programming, Attributed variables, Paralelismo, Programación lógica, Inplementaciones genéricas

Popis souboru: application/pdf

Přístupová URL adresa: https://oa.upm.es/14670/