| 書目名稱 | Objects for Concurrent Constraint Programming |
| 編輯 | Martin Henz |
| 視頻video | http://file.papertrans.cn/701/700234/700234.mp4 |
| 叢書名稱 | The Springer International Series in Engineering and Computer Science |
| 圖書封面 |  |
| 描述 | Concurrent constraint programming (ccp) is a recent developmentin programming language design. Its central contribution is the notionof partial information provided by a shared constraint store. Thisconstraint store serves as a communication medium between concurrentthreads of control and as a vehicle for their synchronization. ..Objects for Concurrent Constraint Programming. analyzes thepossibility of supporting object-oriented programming in ccp. Startingfrom established approaches, the book covers various object models anddiscusses their properties. Small Oz, a sublanguage of the ccplanguage Oz, is used as a model language for this analysis. This bookpresents a general-purpose object system for Small Oz and describesits implementation and expressivity for concurrent computation. ..Objects for Concurrent Constraint Programming. is written forprogramming language researchers with an interest in programminglanguage aspects of concurrency, object-oriented programming, orconstraint programming. Programming language implementors will benefitfrom the rigorous treatment of the efficient implementation of SmallOz. Oz programmers will get a first-hand view of the design decisionsthat lie |
| 出版日期 | Book 1998 |
| 關(guān)鍵詞 | Oz; Programming language A; communication; concurrency; constraint; constraint programming; control; design |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4615-5477-6 |
| isbn_softcover | 978-1-4613-7502-9 |
| isbn_ebook | 978-1-4615-5477-6Series ISSN 0893-3405 |
| issn_series | 0893-3405 |
| copyright | Springer Science+Business Media New York 1998 |