征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

CICLOPS'17 is being held in conjunction with ICLP'17, CP'17, and SAT'17.

The workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and other systems based on logic as a means of expressing computations. Experience backed up by real implementations and their evaluation is given preference, as well as descriptions of work in progress in that direction.

征稿信息

重要日期

2017-06-28
初稿截稿日期
2017-07-17
初稿录用日期
2017-07-31
终稿截稿日期

征稿范围

Topics included, but not limited to:

  • Sequential implementation schemes (abstract machines, translation to other languages, etc.).

  • Implementation of concurrent and distributed logic and constraint programming systems.

  • Implementation of type inference and type checking systems for logic and constraint programming languages.

  • Compile-time analysis and its application to code generation.

  • Balance between compile-time effort and run-time machinery, dynamic compilation.

  • Interaction between high-level optimizations / transformations / specialization and low-level issues.

  • Memory management and garbage collection issues.

  • Indexing techniques and optimizations for large size programs.

  • Optimizations for program generated logic and constraint programs.

  • Implementation of logic engines in functional and object oriented languages.

  • Embedding of logic and constraint programming engines in multi-paradigm systems.

  • Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.).

  • Implementation of theorem provers, proof assistants and logic based natural language processing systems.

  • Implementation of object and agent-oriented extensions to logic and constraint programming languages.

  • Object and module systems.

  • Design and implementation of declarative I/O concepts for logic and constraint programming languages.

  • Implementations and ports of logic and constraint programming systems for mobile phones and netbooks.

  • Documenting, debugging, testing, and profiling tools for logic and constraint programming systems.

  • Novel compilation methods to modern hardware (e.g. GPUs).

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 08月28日

    2017

    会议日期

  • 06月28日 2017

    初稿截稿日期

  • 07月17日 2017

    初稿录用通知日期

  • 07月31日 2017

    终稿截稿日期

  • 08月28日 2017

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询