0
喜欢
0
书签
声明论文
A Logical View of Concurrent Constraint Programming   
摘  要:   . Concurrent Constraint Programming (CCP) has been the subject ofgrowing interest as the focus of a new paradigm for concurrent computation. Likelogic programming it claims close relations to logic. In fact CCP languages arelogics in a certain sense that we make precise in this paper. In recent work itwas shown that the denotational semantics of determinate concurrent constraintprogramming languages forms a fibred categorical structure called a hyperdoctrine,which is used as the basis of ...
发  表:   Nordic Journal of Computing  1995

论文统计图
共享有7个版本
 [展开全部版本] 

Bibtex
创新指数 
阅读指数 
重现指数 
论文点评
还没有人点评哦

Feedback
Feedback
Feedback
我想反馈:
排行榜