1、声明式编程会议与C--语言：挑战与解决方案

声明式编程会议与C–语言：挑战与解决方案

在编程领域，声明式编程的研究和实践一直是重要的方向。1999年在法国巴黎举办的国际声明式编程原理与实践会议（PPDP’99），汇聚了众多相关领域的研究成果。

会议概况

PPDP’99是由编程语言、实现、逻辑与程序（PLILP）和代数与逻辑编程（ALP）这两个存在约十年的会议合并而成。此前，它们在各自的第十届和第七届时首次以PLILP/ALP的名称联合举办。此次会议采用了更简单的名称PPDP，旨在推动声明式方法在编程中的研究，以及支持这些方法的编程语言的设计、应用和实现。

会议的主题涵盖多个方面，包括使用类型理论、逻辑和逻辑方法来理解、定义、集成和扩展编程范式，如函数式、逻辑、面向对象、约束和并发编程；支持模块化；在程序开发工具设计中运用逻辑；开发实现方法；以及在工业和教育中应用相关范式和方法。

会议共收到51篇完整论文投稿，每篇论文至少由四人评审。程序委员会在1999年4月的最后两周进行电子会议，根据评审结果选出22篇论文在会议上展示。此外，会议还安排了Georges Gonthier、Simon Peyton Jones和Pascal van Hentenryck的特邀演讲，以及Chris Okasaki和Frank Pfenning的教程。

会议组织架构

• 会议主席 ：François Fages（法国国家科学研究中心，巴黎高等师范学校）
• 程序主席 ：Gopalan Nadathur（美国芝加哥大学）
• 程序委员会成员 <