並行制約プログラミング
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/26 14:14 UTC 版)
ナビゲーションに移動 検索に移動| プログラミング・パラダイム |
|---|
- ^ 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 脚注
- 並行制約プログラミングのページへのリンク
