Search Results - Concurrent Constraint Logic Programming*

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

Authors: Ho-fung Leung Jimmy H. M. Lee

Source: Computer Languages. 25:119-144

Subject Terms: 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

File Description: application/xml

Access URL: 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

Authors: Nikitas M. Sgouros George K. Papakonstantinou C. Voliotis

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

Subject Terms: 0209 industrial biotechnology, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Authors: Vijay Saraswat Ken Kahn

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Unfolding and fixpoint semantics of concurrent constraint logic programs

Authors: Giorgio Levi Maurizio Gabbrielli

Source: Lecture Notes in Computer Science ISBN: 9783540531623

Subject Terms: 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)

File Description: application/xml

Access URL: 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

Authors: Codish, Michael FALASCHI, MORENO Marriott, Kim et al.

Contributors: Codish, Michael FALASCHI, MORENO Marriott, Kim et al.

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

Subject Terms: 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

File Description: application/xml; STAMPA

Access URL: 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

Authors: Ho-fung Leung Jimmy H. M. Lee

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: 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

Authors: Van Roy, Peter Haridi, Seif Schulte, Christian et al.

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

Subject Terms: 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)

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

Concurrent Constraint Logic Programming

Authors: Thom Frühwirth Slim Abdennadher

Source: Cognitive Technologies ISBN: 9783642087127

Access URL: 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

Authors: Manuel V. Hermenegildo

Source: Lecture Notes in Computer Science ISBN: 9783540586012

Access URL: 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

Authors: Van Roy, P. Brand, P. Duchier, D. et al.

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

Subject Terms: multiparadigm programming, language design, Prolog, Oz, encapsulated search, concurrent constraint programming, history, software development, languages, machine

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-23023

Analysis of concurrent constraint logic programs with a fixed scheduling rule

Authors: Bueno Carrillo, Francisco Hermenegildo, Manuel V.

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

Subject 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/

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

Authors: Ho-fung Leung Bo-Ming Tong

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/conf/ispan/ispan1994.html#LeungT94

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

Authors: J. H. M. Lee H.F. Leung The Pennsylvania State University CiteSeerX Archives

Contributors: J. H. M. Lee H.F. Leung The Pennsylvania State University CiteSeerX Archives

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

File Description: 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

Availability: 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

Authors: Bo-Ming Tong Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

Contributors: Bo-Ming Tong Ho-fung Leung The Pennsylvania State University CiteSeerX Archives

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

File Description: application/postscript

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

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

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

Authors: Kahn, K. Saraswat, Vijay A.

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

Availability: 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

Authors: Altunyuva, Fethi

Thesis Advisors: Senkul, Pinar

Subject Terms: QA Electronic Computers, Computer Science 75.5-76.95, Concurrent Transaction Logic, Workflow Scheduling, Constraint Logic Programming, Resource Allocation

File Description: text/pdf

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

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

Authors: 網代 育大

Source: 人工知能 / 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

Authors: Hermenegildo, Manuel V. Cabeza Gras, Daniel Carro Liñares, Manuel

Source: 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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

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

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

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

Subject Terms: Incremental Execution, Concurrent Constraint Logic Program

File Description: 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

Availability: 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

Authors: Hermenegildo, Manuel V. Cabeza Gras, Daniel Carro Liñares, Manuel

Source: 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

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

File Description: application/pdf

Access URL: https://oa.upm.es/14670/