並行制約プログラミング
(並行制約プログラミング言語 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/26 14:14 UTC 版)
並行制約プログラミング(へいこうせいやくプログラミング、英: Concurrent Constraint Programming)は、制約論理プログラミングの研究と並行論理プログラミングの研究とから生まれた、並行プログラミングのためのパラダイムである。並行制約プログラミングでは並行論理プログラミングをより一般化し、制約の出力(追加, tell)と入力(観測, ask)を行う複数のプロセス(エージェント)でプログラミングを行う。
- ^ Jaffar, J., and Maher, M.J., Constraint Logic Programming: A Survey
- ^ van Emden, M. H., and de Lucena, G. J. Predicate logic as a language for parallel programming
- ^ Shapiro, E. A subset of Concurrent Prolog and its interpreter
- ^ Ueda, K. Guarded Horn Clauses
- ^ Michael Maher. Logic semantics for a class of committed-choice programs
- ^ a b Saraswat, V. A. Concurrent constraint programming languages
- ^ Saraswat, V. A., Rinard M. and P. Panangaden. Semantic Foundation of Concurrent Constraint Programming
- ^ Saraswat, V. A., A brief introduction to linear concurrent constraint programming
- ^ Fagesa F., Ruetb P. and Soliman S., Linear Concurrent Constraint Programming: Operational and Phase Semantics
- ^ Frühwirth T., Introducing Simplification Rules. Internal Report ECRC-LP-63, ECRC Munich, Germany, October 1991, Presented at the Workshop Logisches Programmieren, Goosen/Berlin, Germany, October 1991 and the Workshop on Rewriting and Constraints, Dagstuhl, Germany, October 1991.
- ^ Frühwirth T., Theory and Practice of Constraint Handling Rules. Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriott, Eds.), Journal of Logic Programming, Vol 37(1-3), October 1998.
- ^ 上田 和紀,加藤 紀夫, 言語モデルLMNtal
- ^ Saraswat V., Kahn K., and Levy J. Programming in Janus
- ^ Kahn K., and Saraswat V., Actors as a Special Case of Concurrent Constraint Programming
- ^ Janson S. and Haridi S.,Programming Paradigms of the Andorra Kernel Language Logic Programming: Proceedings of the 1991 International Symposium 1991.
- ^ Smolka G., The Oz programming model
- 1 並行制約プログラミングとは
- 2 並行制約プログラミングの概要
- 3 歴史
- 4 概要
- 5 特徴
- 6 脚注
- 並行制約プログラミング言語のページへのリンク