Výsledky vyhledávání - "(Applications of) Concurrent Constraint Programming"

Temporal Concurrent Constraint Programming:Denotation, Logic and Applications: Temporal concurrent constraint programming: Denotation, logic and applications

Autoři: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank Dan

Zdroj: Nielsen, M, Palamidessi, C & Valencia, F D 2002, 'Temporal Concurrent Constraint Programming : Denotation, Logic and Applications', Nordic Journal of Computing, vol. 9, no. 2, pp. 145-188.

Témata: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic programming, musical applications, program specification, temporal concurrent constraint programming, timed systems, 0202 electrical engineering, electronic engineering, information engineering, temporal concurrency constraint programming, multi-agent systems, calculi for concurrency

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1809625
https://pure.au.dk/portal/en/publications/ef9e6ac0-983b-11da-bee9-02004c4f4f50

A multimedia programming model based on timed concurrent constraint programming

Autoři: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ucy.ac.cy/~george/CSSEa.pdf.

Témata: Multimedia Programming, Declarative Programming, Modelling and Synchronisation of Multimedia Objects, Applications of) Concurrent Constraint Programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6611; http://www.cs.ucy.ac.cy/~george/CSSEa.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6611
http://www.cs.ucy.ac.cy/~george/CSSEa.pdf

A multimedia programming model based on timed concurrent constraint programming

Autoři: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Přispěvatelé: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Zdroj: Computer Systems Science and Engineering
Comput Syst Sci Eng

Témata: Data structures, Declarative logic programming, Object oriented timed concurrent constraint programming (OO-TCCP), Real time systems, 02 engineering and technology, Modelling and Synchronisation of Multimedia Objects, Logic programming, Multimedia Programming, Declarative Programming, Object oriented programming, 0202 electrical engineering, electronic engineering, information engineering, Computer systems programming, (Applications of) Concurrent Constraint Programming, Constraint theory, Multimedia systems, Data flow analysis

Přístupová URL adresa: http://gnosis.library.ucy.ac.cy/handle/7/54730

A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language

Autoři: Kazunori Ueda

Zdroj: Lecture Notes in Computer Science ISBN: 9783540439592

Přístupová URL adresa: http://www.ueda.info.waseda.ac.jp/~ueda/pub/KowalskiFestschrift.pdf
https://link.springer.com/chapter/10.1007/3-540-45628-7_7
https://waseda.pure.elsevier.com/en/publications/a-pure-meta-interpreter-for-flat-ghc-a-concurrent-constraint-lang
https://rd.springer.com/chapter/10.1007/3-540-45628-7_7
https://dblp.uni-trier.de/db/conf/birthday/kowalski2002-1.html#Ueda02