1、函数式和逻辑编程研讨会简介

函数式和逻辑编程研讨会简介

1 研讨会概况

第17届国际函数式和逻辑编程研讨会（FLOPS 2024）将于2024年5月15日至17日在日本熊本举行。此次研讨会由杰里米·吉布森（Jeremy Gibbons）和戴尔·米勒（Dale Miller）担任编辑。FLOPS旨在汇集声明式编程的从业者、研究人员和实现者，讨论彼此感兴趣的成果和共同问题。会议涵盖声明式编程的设计、语义、理论、应用、实现和教学等方面，特别注重理论与实践之间的交叉融合。

2 研讨会的目标和范围

FLOPS的目标是促进理论与实践之间以及不同风格的声明式编程之间的交流与合作。研讨会鼓励通过高级规范（半）自动地衍生出计算步骤，如函数式和逻辑编程、程序转换和重写，以及从其正确性的证明中提取程序。这些声明式风格的例子包括函数式编程、逻辑编程、程序转换和重写，以及从其正确性的证明中提取程序。

3 研讨会的特点

3.1 声明式编程

声明式编程是一种编程范式，它强调描述程序应该做什么，而不是具体如何做。FLOPS 2024特别关注通过高级规范（半）自动地衍生出计算步骤，如函数式和逻辑编程、程序转换和重写，以及从其正确性的证明中提取程序。这种方式使得编程更为简洁和易于理解。

3.2 理论与实践结合

FLOPS致力于促进理论与实践之间的交叉融合。会议不仅关注理论进展，还重视这些理论在实际编程语言系统和工具中的实现，以及这些系统在实践中的应用。通过这种方式，FLOPS希望推动声明式编程在学术界和工业界的发展。

4 历史背景

FLOPS有着悠久的传统，之前已在多个城市举办过，如富