咨询与建议

限定检索结果

文献类型

  • 27 篇 期刊文献
  • 12 篇 会议

馆藏范围

  • 39 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 38 篇 工学
    • 36 篇 计算机科学与技术...
    • 18 篇 软件工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 航空宇航科学与技...
  • 10 篇 理学
    • 10 篇 数学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 艺术学
    • 1 篇 音乐与舞蹈学

主题

  • 39 篇 concurrent const...
  • 9 篇 linear logic
  • 5 篇 concurrency
  • 4 篇 mobility
  • 4 篇 proof systems
  • 3 篇 languages
  • 3 篇 debugging
  • 3 篇 focusing
  • 3 篇 soft constraints
  • 2 篇 constraint logic...
  • 2 篇 partition refine...
  • 2 篇 program slicing
  • 2 篇 hierarchical gra...
  • 2 篇 lmntal
  • 2 篇 constraints
  • 2 篇 pi-calculus
  • 2 篇 constraint handl...
  • 2 篇 bisimulation
  • 2 篇 fixed points
  • 2 篇 security

机构

  • 4 篇 univ fed rio gra...
  • 4 篇 pontificia univ ...
  • 3 篇 univ fed rio gra...
  • 3 篇 univ fed paraiba...
  • 2 篇 pontificia univ ...
  • 2 篇 univ siena dipar...
  • 2 篇 univ fed rio gra...
  • 2 篇 univ fed rio gra...
  • 2 篇 ecole polytech l...
  • 2 篇 ecole polytech i...
  • 2 篇 ecole polytech c...
  • 2 篇 pontificia univ ...
  • 2 篇 univ g dannunzio...
  • 2 篇 univ siena dept ...
  • 2 篇 univ bologna dip...
  • 1 篇 inria team comet...
  • 1 篇 univ pisa dipart...
  • 1 篇 univ bordeaux la...
  • 1 篇 cnr ist informat...
  • 1 篇 waseda univ dept...

作者

  • 15 篇 olarte carlos
  • 8 篇 pimentel elaine
  • 5 篇 nigam vivek
  • 5 篇 rueda camilo
  • 4 篇 falaschi moreno
  • 3 篇 guzman michell
  • 3 篇 valencia frank d...
  • 2 篇 meo mc
  • 2 篇 palamidessi catu...
  • 2 篇 pino luis f.
  • 2 篇 ueda kazunori
  • 2 篇 valencia frank
  • 2 篇 bonchi filippo
  • 2 篇 lopez hugo a.
  • 2 篇 gabbrielli m
  • 2 篇 etalle s
  • 2 篇 gabbrielli mauri...
  • 1 篇 montanari ugo
  • 1 篇 aristizabal p an...
  • 1 篇 zimmermann d.

语言

  • 33 篇 英文
  • 6 篇 其他
检索条件"主题词=Concurrent Constraint programming"
39 条 记 录,以下是21-30 订阅
排序:
LMNtal as a hierarchical logic programming language
收藏 引用
THEORETICAL COMPUTER SCIENCE 2009年 第46期410卷 4784-4800页
作者: Ueda, Kazunori Waseda Univ Dept Comp Sci & Engn Shinjuku Ku Tokyo 1698555 Japan
LMNtal (pronounced "elemental") is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. LMNtal is an outco... 详细信息
来源: 评论
On concurrent behaviors and focusing in linear logic
收藏 引用
THEORETICAL COMPUTER SCIENCE 2017年 685卷 46-64页
作者: Olarte, Carlos Pimentel, Elaine Univ Fed Rio Grande do Norte Escola Ciencias & Tecnol Natal RN Brazil Univ Fed Rio Grande do Norte Dept Matemat Natal RN Brazil
concurrent constraint programming (CCP) is a simple and powerful model of concurrency where processes interact by telling and asking constraints into a global store of partial information. Since its inception, CCP has... 详细信息
来源: 评论
Parallelism, concurrency and distribution in constraint handling rules: A survey
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2018年 第5-6期18卷 759-805页
作者: Fruehwirth, Thom Ulm Univ Inst Software Engn & Programming Languages D-89069 Ulm Germany
constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. In CHR, guarded reactive rules rewrite a multi-set of constraints. Concur... 详细信息
来源: 评论
Characterizing right inverses for spatial constraint systems with applications to modal logic
收藏 引用
THEORETICAL COMPUTER SCIENCE 2018年 744卷 56-77页
作者: Guzman, Michell Perchy, Salim Rueda, Camilo Valencia, Frank D. Ecole Polytech Paris INRIA LIX Paris France INRIA Grand Est Loria Villers Les Nancy France Pontificia Univ Javeriana Cali Cali Colombia Ecole Polytech Paris CNRS Paris France Ecole Polytech Paris LIX Paris France
Spatial constraint systems are algebraic structures from concurrent constraint programming to specify spatial and epistemic behavior in multi-agent systems. In this paper spatial constraint systems are used to give an... 详细信息
来源: 评论
Weak CCP bisimilarity with strong procedures
收藏 引用
SCIENCE OF COMPUTER programming 2015年 100卷 84-104页
作者: Pino, Luis F. Aristizabal, Andres Bonchi, Filippo Valencia, Frank Ecole Polytech INRIA DGA LIX F-91128 Palaiseau France Ecole Polytech UMR X CNRS 7161 F-91128 Palaiseau France Pontificia Univ Javeriana Cali Cali Colombia Univ Lyon ENS Lyon LIP UMR CNRS ENS Lyon UCBL INRIA 5668 F-69364 Lyon France Ecole Polytech CNRS F-91128 Palaiseau France Ecole Polytech LIX UMR X CNRS 7161 F-91128 Palaiseau France
concurrent constraint programming (CCP) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evolve by posting and querying (partial)... 详细信息
来源: 评论
Modelling musical structures
收藏 引用
constraints 2001年 第1期6卷 53-83页
作者: Zimmermann, D. Private Fern-Fachhochschule Darmstadt Postfach 10 01 64 D-64201 Darmstadt Germany
Modelling musical structures is a research field prominent among mathematicians and computer scientists as well as musicologists, psychomusicologists and musicians. constraint programming has been proved to be a highl... 详细信息
来源: 评论
PARALLEL LOGIC programming SYSTEMS
收藏 引用
ACM COMPUTING SURVEYS 1994年 第3期26卷 295-336页
作者: DEKERGOMMEAUX, JC CODOGNET, P INRIA F-78153 LE CHESNAYFRANCE
Parallelizing logic programming has attracted much interest in the research community, because of the intrinsic OR- and AND-parallelisms of logic programs. One research stream aims at transparent exploitation of paral... 详细信息
来源: 评论
constraint-Based Concurrency and Beyond
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2006年 第1期162卷 327-331页
作者: Ueda, Kazunori Waseda Univ Dept Comp Sci Shinjuku Ku 4-1Okubo 3 Chome Tokyo 1698555 Japan
constraint-based concurrency is a simple and elegant formalism of concurrency with monotonic mobile channels, whose history started in early 1980's as a subfield of logic programming. Although it has hardly been r... 详细信息
来源: 评论
A Demonstration of ToonTalk where Children Build Programs by Demonstration in a Game World  16
A Demonstration of ToonTalk where Children Build Programs by...
收藏 引用
15th International ACM Conference on Interaction Design and Children (IDC)
作者: Kahn, Ken Univ Oxford Oxford OX2 6NN England
Desktop ToonTalk was first released twenty years ago and was successfully used by children as young as 3 to construct computer programs. Uniquely these programs are constructed by demonstration using game elements suc... 详细信息
来源: 评论
Declarative Interpretations of Session-Based Concurrency  15
Declarative Interpretations of Session-Based Concurrency
收藏 引用
17th International Symposium on Principles and Practice of Declarative programming (PPDP)
作者: Cano, Mauricio Rueda, Camilo Lopez, Hugo A. Perez, Jorge A. Pontificia Univ Javeriana Cali Cali Colombia Tech Univ Denmark Lyngby Denmark Univ Lisbon LaSIGE Lisbon Portugal Univ Groningen Groningen Netherlands
Session-based concurrency is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an operational or declarative style: the former defines how ... 详细信息
来源: 评论